1749 search results - page 167 / 350 » Logic, Optimization, and Constraint Programming |
134
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
In a later stage of a VLSI design, it is quite often to modify a design implementation to accommodate the new specification, design errors, or to meet design constraints. In addit...
123
click to vote
ENGL
2008
15 years 4 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
194
click to vote
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
152
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
124
click to vote
SAT
2010
Springer
15 years 8 months ago
2010
Springer
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...