1902 search results - page 211 / 381 » Differential Dynamic Logics |
254
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
Enix is a lightweight dynamic operating system for tightly constrained platforms for wireless sensor networks (WSN). Enix provides a cooperative threading model, which is applicab...
207
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
256
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Workload management for business intelligence (BI) queries poses different challenges than those addressed in the online transaction processing (OLTP) context. The fundamental pro...
180
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
170
click to vote
ISCA
2007
IEEE
16 years 27 days ago
2007
IEEE
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...