3820 search results - page 645 / 764 » Bounded Model Debugging |
140
Voted
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
114
click to vote
CP
1999
Springer
15 years 6 months ago
1999
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
133
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
139
Voted
ICVS
1999
Springer
15 years 6 months ago
1999
Springer
We propose Action-Reaction Learning as an approach for analyzing and synthesizing human behaviour. This paradigm uncovers causal mappings between past and future events or between...
128
click to vote
ICCAD
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper considers simultaneous gate and wire sizing for general very large scale integrated (VLSI) circuits under the Elmore delay model. We present a fast and exact algorithm w...