6201 search results - page 1158 / 1241 » Implementation of Axiomatic Language |
133
click to vote
ASPLOS
2012
ACM
14 years 8 days ago
2012
ACM
Traditional storage systems provide a simple read/write interface, which is inadequate for low-locality update-intensive workloads because it limits the disk scheduling flexibili...
198
click to vote
ASPLOS
2012
ACM
14 years 8 days ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
144
click to vote
ASPLOS
2012
ACM
14 years 8 days ago
2012
ACM
Multithreaded programs often suffer from synchronization bugs such as atomicity violations and deadlocks. These bugs arise from complicated locking strategies and ad hoc synchroni...
214
Voted
IHI
2012
14 years 3 days ago
2012
We present a novel software tool called CDN (Collaborative Data Network) for large-scale sharing and querying of clinical documents modeled using HL7 v3 standard (e.g., Clinical D...
179
Voted
PADL
2012
Springer
14 years 3 days ago
2012
Springer
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...