1453 search results - page 90 / 291 » State and history in operating systems |
95
Voted
SENSYS
2009
ACM
15 years 7 months ago
2009
ACM
Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this by providing ...
101
click to vote
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
76
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
JSCIC
2007
15 years 14 days ago
2007
We present a new preconditioner for the iterative solution of linear systems of equations arising from discretizations of systems of first order partial differential equations (P...
100
Voted
ACMSE
2009
ACM
15 years 7 months ago
2009
ACM
An algorithm is proposed for the purpose of optimizing the availability of files to an operating system prior to their being required during execution by a running system. This al...