7124 search results - page 1250 / 1425 » Programming Languages and Operating Systems |
153
Voted
LOGCOM
2011
14 years 5 months ago
2011
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
122
click to vote
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
162
Voted
ASPLOS
2012
ACM
13 years 10 months 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 ...
164
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: Researchers who use MEDLINE for text mining, information extraction, or natural language processing may benefit from having a copy of MEDLINE that they can manage loca...
103
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...