Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
25
A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages
"... Solver-aided domain-specific languages (SDSLs) are an emerging class of computer-aided programming systems. They ease the con-struction of programs by using satisfiability solvers to automate tasks such as verification, debugging, synthesis, and non-deterministic execution. But reducing programming ..."
Abstract
-
Cited by 6 (2 self)
- Add to MetaCart
that is itself solver-aided. This paper describes how to implement a symbolic virtual machine (SVM) for such a host language. Our symbolic virtual machine is lightweight because it compiles to constraints only a small subset of the host’s constructs, while allowing SDSL designers to use the entire language
The HetNOS Network Operating System: a tool for writing distributed applications
, 1994
"... The HetNOS network operating system is a set of software layers laid over "native" operating systems to provide a distributed programming platform. The environment is composed of the HetNOS shell command language and the system calls interface (accessed through a procedure library). In bot ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
). In both levels of interaction with users, the set of machines integrated by HetNOS are seen as a distributed virtual machine. The HetNOS command interpreter, namely hsh, implements most functions present in more traditional command interpreters. It is possible to spawn, monitor, and terminate processes
Perspective An Online Bioinformatics Curriculum
"... Abstract: Online learning initia-tives over the past decade have become increasingly comprehen-sive in their selection of courses and sophisticated in their presen-tation, culminating in the recent announcement of a number of consortium and startup activities that promise to make a university educat ..."
Abstract
- Add to MetaCart
education on the internet, free of charge, a real possibility. At this pivotal moment it is appropriate to explore the potential for obtaining comprehensive bioinformatics training with currently existing free video resources. This article pre-sents such a bioinformatics curric-ulum in the form of a virtual
copyright by
, 2009
"... Abstract: Mobile ad hoc networks (MANETs) and wireless sensor networks (WSNs) are two recently-developed technologies that uniquely function without xed infrastructure support, and sense at scales, resolutions, and durations previously not possible. While both offer great potential in many applicati ..."
Abstract
- Add to MetaCart
, and Servilla. Limone reliably handles high levels of dynamics within MANETs. It does this through lightweight coordination primitives that make minimal assumptions about network connectivity. Agilla enables self-adaptive WSN applications via the integration of mobile agent and tuple space programming models
Saskatoon By
"... In presenting this thesis in partial fulfilment of the requirements for a Postgraduate degree ..."
Abstract
- Add to MetaCart
In presenting this thesis in partial fulfilment of the requirements for a Postgraduate degree
Jitsu: Just-In-Time Summoning of Unikernels
"... Abstract. Network latency is a problem for all cloud services. It can be mitigated by moving computation out of remote datacenters by rapidly instantiating local ser-vices near the user. This requires an embedded cloud platform on which to deploy multiple applications se-curely and quickly. We prese ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
present Jitsu, a new Xen tool-stack that satisfies the demands of secure multi-tenant isolation on resource-constrained embedded ARM de-vices. It does this by using unikernels: lightweight, compact, single address space, memory-safe virtual ma-chines (VMs) written in a high-level language. Using fast
USENIX Association 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’15) 559 Jitsu: Just-In-Time Summoning of Unikernels
"... Abstract. Network latency is a problem for all cloud services. It can be mitigated by moving computation out of remote datacenters by rapidly instantiating local ser-vices near the user. This requires an embedded cloud platform on which to deploy multiple applications se-curely and quickly. We prese ..."
Abstract
- Add to MetaCart
present Jitsu, a new Xen tool-stack that satisfies the demands of secure multi-tenant isolation on resource-constrained embedded ARM de-vices. It does this by using unikernels: lightweight, compact, single address space, memory-safe virtual ma-chines (VMs) written in a high-level language. Using fast
Results 1 - 10
of
25
