931 search results - page 76 / 187 » Operating System Support for Process Confinement |
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
120
click to vote
IDEAS
2010
IEEE
14 years 8 months ago
2010
IEEE
Even though an effective cost-based query optimizer is of utmost importance for the efficient evaluation of XQuery expressions in native XML database systems, such a component is...
MOBIHOC
2010
ACM
14 years 7 months ago
2010
ACM
Comparing with the classical barcode system, RFID extends the operational distance from inches to a number of feet (passive RFID tags) or even hundreds of feet (active RFID tags)....
ICSE
1998
IEEE-ACM
15 years 2 months ago
1998
IEEE-ACM
The development of complex distributed systems demands for the creation of suitable architectural styles (or paradigms) and related run-time infrastructures. An emerging style tha...
ARC
2010
Springer
15 years 1 months ago
2010
Springer
As reconfigurable computing hardware and in particular FPGA-based systems-on-chip comprise an increasing number of processor and accelerator cores, supporting sharing and synchroni...