Sciweavers

7971 search results - page 46 / 1595
» On unbounded operators and applications
Sort
View
105
Voted
USENIX
2007
15 years 3 months ago
Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems
The ability to checkpoint a running application and restart it later can provide many useful benefits including fault recovery, advanced resources sharing, dynamic load balancing...
Oren Laadan, Jason Nieh
226
Voted
PADL
2009
Springer
16 years 1 months ago
Operational Semantics for Declarative Networking
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
Juan A. Navarro, Andrey Rybalchenko
102
Voted
ESMART
2001
Springer
15 years 5 months ago
An Operational Semantics of the Java Card Firewall
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
Marc Éluard, Thomas P. Jensen, Ewen Denney
108
Voted
GI
2003
Springer
15 years 6 months ago
New Software Technology in Space: BOSS - a Dependable Open Source Embedded Operating System
: BOSS targets a principle which the world forgot a long time ago: Simplicity. BOSS is an embedded real time operating system for safety critical applications. Our experience shows...
Sergio Montenegro
COMCOM
2000
89views more  COMCOM 2000»
15 years 17 days ago
Operating system support for multimedia systems
Distributed multimedia applications will be an important part of tomorrow's application mix and require appropriate operating system (OS) support. Neither hard real-time solu...
Thomas Plagemann, Vera Goebel, Pål Halvorsen...