4081 search results - page 472 / 817 » The Impact of Constraint Programming |
151
click to vote
EUROPAR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Transactional memory systems trade ease of programming with runtime performance losses in handling transactions. This paper focuses on starvation effects that show up in ...
157
click to vote
FORMATS
2007
Springer
16 years 24 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
191
click to vote
ICCS
2007
Springer
16 years 24 days ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
171
click to vote
IWSEC
2007
Springer
16 years 23 days ago
2007
Springer
The problem of defending software against tampering by a malicious host is not expected to be solved soon. Rather than trying to defend against the first attack, randomization tri...
154
click to vote
UM
2007
Springer
16 years 22 days ago
2007
Springer
Information graphics, such as bar charts and line graphs, that appear in popular media generally have a message that they are intended to convey. We have developed a novel plan inf...