37 search results - page 5 / 8 » Automatic Generation of Propagation Complete SAT Encodings |
120
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
116
click to vote
SIGCOMM
2004
ACM
15 years 4 months ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
CAI
2004
Springer
14 years 10 months ago
2004
Springer
A complete hardware implementation of an evolvable combinational unit for FPGAs is presented. The proposed combinational unit consisting of a virtual reconfigurable circuit and evo...
110
click to vote
FM
2008
Springer
15 years 10 days ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...