116 search results - page 3 / 24 » Dominion -- A constraint solver generator |
115
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes an efficient, complete approach for solving a complex allocation and scheduling problem for Multi-Processor System-on-Chip (MPSoC). Given a throughput constra...
101
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
108
click to vote
JPDC
2006
15 years 1 months ago
2006
We address the problem of efficient out-of-core code generation for a special class of imperfectly nested loops encoding tensor contractions arising in quantum chemistry computati...
107
click to vote
ISCIS
2009
Springer
15 years 8 months ago
2009
Springer
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
112
Voted
CPP
2011
14 years 1 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...