8706 search results - page 1562 / 1742 » Learning Subjective Language |
180
click to vote
ASPLOS
2012
ACM
14 years 3 days ago
2012
ACM
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
148
click to vote
ASPLOS
2012
ACM
14 years 3 days ago
2012
ACM
Numerous data center services exhibit low average utilization leading to poor energy efficiency. Although CPU voltage and frequency scaling historically has been an effective mea...
210
click to vote
IHI
2012
13 years 12 months 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...
147
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
197
click to vote
VEE
2012
ACM
13 years 12 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...