188 search results - page 34 / 38 » Abstract Machines, Control, and Sequents |
OSDI
2008
ACM
14 years 7 months ago
2008
ACM
Multiprocessor application performance can be limited by the operating system when the application uses the operating system frequently and the operating system services use data ...
ALT
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. Classical probability theory considers probability distributions that assign probabilities to all events (at least in the finite case). However, there are natural situat...
CGO
2007
IEEE
14 years 1 months ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
DC
2008
13 years 7 months ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...