4513 search results - page 739 / 903 » Logic programming with satisfiability |
132
click to vote
OSDI
1994
ACM
15 years 4 months ago
1994
ACM
This paper describes the design and evaluation of SAM, a shared object system for distributed memory machines. SAM is a portable run-time system that provides a global name space ...
116
Voted
ICDE
2010
IEEE
15 years 3 months ago
2010
IEEE
— We discuss the problem of resource provisioning for database management systems operating on top of an Infrastructure-As-A-Service (IaaS) cloud. To solve this problem, we descr...
124
Voted
ANOR
2008
15 years 3 months ago
2008
: The growth in demand for semiconductors has been accompanied by intense competition between semiconductor manufacturers to satisfy customer on-time delivery needs. This paper is ...
117
Voted
BIOINFORMATICS
2007
15 years 3 months ago
2007
Primer approximation multiplex PCR (PAMP) is a new experimental protocol for efficiently assaying structural variation in genomes. PAMP is particularly suited to cancer genomes w...
121
Voted
COR
2010
15 years 3 months ago
2010
The Multi-Compartment Vehicle Routing Problem (MC-VRP) consists of designing transportation routes to satisfy the demands of a set of costumers for several products that because o...