412 search results - page 59 / 83 » Operating Systems Should Provide Transactions |
SIGUCCS
2004
ACM
14 years 3 months ago
2004
ACM
Academic institutions’ dependence on web-based technologies to improve efficiency in class offerings, academic records, and office documentation is increasing at a rapid pace. T...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Most software tools and environments help developers analyze the present and past development states of their software systems. Few approaches have investigated the potential cons...
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
FTRTFT
1998
Springer
14 years 2 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
WS
2004
ACM
14 years 3 months ago
2004
ACM
The IEEE 802.15.4 specification outlines a new class of wireless radios and protocols targeted at low power devices, personal area networks, and sensor nodes. The specification ...