9730 search results - page 299 / 1946 » Relating models of backtracking |
129
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
-- In this tutorial we discuss concepts and techniques for the accurate and efficient modeling and extraction of interconnect parasitics in VLSI designs. Due toincreasing operating...
113
click to vote
MFCS
1993
Springer
15 years 9 months ago
1993
Springer
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...
145
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
126
click to vote
EUROCRYPT
2006
Springer
15 years 8 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...
167
click to vote
SPAA
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we develop models for and analyze several randomized work stealing algorithms in a dynamic setting. Our models represent the limiting behavior of systems as the numb...