1097 search results - page 178 / 220 » Revision Programming = Logic Programming Integrity Constra... |
152
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
123
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
With the increase of transistors integrated onto a chip, multi core processor architectures have attracted much attention to achieve high effective performance, shorten developmen...
106
click to vote
SCOPES
2005
Springer
15 years 8 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
114
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
126
click to vote
INFORMS
2010
15 years 1 months ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...