5128 search results - page 213 / 1026 » When Abstraction Fails |
196
click to vote
AAIM
2009
Springer
16 years 1 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
151
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
A delay abstraction of a combinational module is a compact representation of the delay information of the module, which carries effective pin-to-pin delay for each primary-input/pr...
180
click to vote
ADAEUROPE
2007
Springer
16 years 1 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
178
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
The file is a well-understood and very simple abstraction, which has been successfully used in both centralized and distributed systems. However, files are not expressive enough t...
210
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many environments in which people and computer agents interact involve deploying resources to accomplish tasks and satisfy goals. This paper investigates the way that the...