1154 search results - page 36 / 231 » Mathematizing C concurrency |
136
click to vote
SIROCCO
2003
15 years 5 months ago
2003
In this work, we embark on a study of the possibility (or impossibility), and the corresponding costs, of devising concurrent, low-contention implementations of atomic Read-Modify...
149
click to vote
TCC
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper we consider commitment schemes that are secure against concurrent man-in-the-middle (cMiM) attacks. Under such attacks, two possible notions of security for...
128
click to vote
SENSYS
2006
ACM
15 years 10 months ago
2006
ACM
It is vital to support concurrent applications sharing a wireless sensor network in order to reduce the deployment and administrative costs, thus increasing the usability and efï¬...
151
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
165
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...