1097 search results - page 200 / 220 » Revision Programming = Logic Programming Integrity Constra... |
132
Voted
SAT
2007
Springer
15 years 8 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
125
click to vote
DFT
2003
IEEE
15 years 7 months ago
2003
IEEE
Test scheduling and Test Access Mechanism (TAM) design are two important tasks in the development of a System-on-Chip (SOC) test solution. Previous test scheduling techniques assu...
128
click to vote
DAC
2009
ACM
15 years 7 months ago
2009
ACM
Stream processing represents an important class of applications that spans telecommunications, multimedia and the Internet. The implementation of streaming programs in FPGAs has a...
131
click to vote
AGENTS
2001
Springer
15 years 7 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
119
click to vote
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...