22358 search results - page 3880 / 4472 » Software Performance Engineering |
220
click to vote
SCS
2003
15 years 8 months ago
2003
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
170
click to vote
SFP
2003
15 years 8 months ago
2003
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
173
click to vote
USENIX
2003
15 years 8 months ago
2003
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...
200
click to vote
SIROCCO
1998
15 years 8 months ago
1998
A distributed counter is a concurrent object which provides a fetch-and-increment operation on a shared value. On the basis of a distributed counter, one can implement various fun...
190
click to vote
PDPTA
2000
15 years 8 months ago
2000
Code Mobility brings the possibility of building distributed systems better suited to a range of application areas. While platforms supporting Code Mobility are already in use, su...