4516 search results - page 672 / 904 » Automated System Design for Availability |
164
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Over the last decade the cost of producing genomic sequences has dropped dramatically due to the current so called “next-gen” sequencing methods. However, these next-gen seque...
157
click to vote
VEE
2012
ACM
14 years 16 days ago
2012
ACM
Smartphones, tablets and other mobile platforms typically accommodate bulk data storage with low-cost, FAT-formatted Secure Digital cards. When one uses a mobile device to run a f...
257
click to vote
GIS
2004
ACM
16 years 6 months ago
2004
ACM
Modern database applications including computer-aided design, multimedia information systems, medical imaging, molecular biology, or geographical information systems impose new re...
132
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
The increasing complexity of today's mixed-signal integrated circuits necessitates both top-down and bottom-up system-level verification. Time-domain state-space modeling and...
133
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...