163 search results - page 5 / 33 » Safety Guarantees from Explicit Resource Management |
CORR
2009
Springer
14 years 7 months ago
2009
Springer
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...
121
Voted
TCGOV
2005
Springer
15 years 2 months ago
2005
Springer
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...
IDEAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Enterprise applications need to be highly available and scalable. In the past, this has required “stateless” applications, which essentially require the application to manage ...
GRID
2000
Springer
15 years 1 months ago
2000
Springer
Resource management in the typical Grid environment based on multi-MPP systems or clusters today still is one of the challenging problems. We will present MeSch, a solution for the...
113
click to vote
REALWSN
2010
14 years 4 months ago
2010
Pre-deployment tests of sensor networks in indoor testbeds can only deliver a very approximate view of the correctness and performance of a deployed sensor network and it is theref...