320 search results - page 40 / 64 » Evaluation of Solving Models for Conditional Constraint Sati... |
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
COLING
1996
13 years 10 months ago
1996
This paper presents a comtmtational model of incremental utterance production in task-oriented dialogues. This model incrementally produces utterantes to propose the solution of a...
CAD
2000
Springer
13 years 8 months ago
2000
Springer
Very large and geometrically complex scenes, exceeding millions of polygons and hundreds of objects, arise naturally in many areas of interactive computer graphics. Time-critical ...
CP
2008
Springer
13 years 10 months ago
2008
Springer
Modern computer architectures have complex features that can only be fully taken advantage of if the compiler schedules the compiled code. A standard region of code for scheduling ...