Sciweavers

883 search results - page 9 / 177
» The RETOS operating system: kernel, tools and applications
Sort
View
VEE
2006
ACM
115views Virtualization» more  VEE 2006»
14 years 2 months ago
Live updating operating systems using virtualization
Many critical IT infrastructures require non-disruptive operations. However, the operating systems thereon are far from perfect that patches and upgrades are frequently applied, i...
Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, ...
VL
1998
IEEE
123views Visual Languages» more  VL 1998»
14 years 5 days ago
A Visual Development Environment for Parallel Applications
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
Philip T. Cox, Hugh Glaser, Stuart Maclean
CORR
2011
Springer
197views Education» more  CORR 2011»
13 years 11 days ago
Securing The Kernel via Static Binary Rewriting and Program Shepherding
Recent Microsoft security bulletins show that kernel vulnerabilities are becoming more and more important security threats. Despite the pretty extensive security mitigations many ...
Piotr Bania
TLCA
1995
Springer
14 years 4 days ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen
IJHPCA
2008
88views more  IJHPCA 2008»
13 years 8 months ago
Extending Grid-Based Workflow Tools With Patterns/Operators
Many Grid applications involve combining computational and data access components into complex workflows. A distinction is generally made between mechanisms to compose components ...
Maria Cecilia Gomes, Omer F. Rana, José C. ...