585 search results - page 108 / 117 » Component-Based Description of Programming Languages |
162
click to vote
CP
2007
Springer
16 years 26 days ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
181
click to vote
ASAP
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...
143
click to vote
SAMOS
2005
Springer
16 years 5 days ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
174
click to vote
KI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
187
Voted
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...