1154 search results - page 204 / 231 » Mathematizing C concurrency |
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...
SENSYS
2004
ACM
14 years 2 months ago
2004
ACM
Network congestion occurs when offered traffic load exceeds available capacity at any point in a network. In wireless sensor networks, congestion causes overall channel quality t...
EUROCRYPT
2003
Springer
14 years 2 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
VLDB
1998
ACM
14 years 1 months ago
1998
ACM
Oracle Parallel Server (OPS) is a shared disk RDBMS. We present a high level overview of the main architectural issues of OPS and their evolution throughout the releases of the Or...