1299 search results - page 124 / 260 » On the Correctness of Operating System Kernels |
112
Voted
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
When a software system critical for an organization exhibits a problem during its operation, it is relevant to fix it in a short period of time, to avoid serious economical losse...
160
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
176
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
118
Voted
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
DMTCP (Distributed MultiThreaded CheckPointing) is a transparent user-level checkpointing package for distributed applications. Checkpointing and restart is demonstrated for a wid...
126
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Hardware/software partitioning is one of the key processes in a hardware/software cosynthesis system for digital signal processor cores. In hardware/software partitioning, area and...