16216 search results - page 335 / 3244 » Effective Modeling with Constraints |
190
click to vote
TECS
2010
15 years 5 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...
159
click to vote
ISPD
1998
ACM
15 years 10 months ago
1998
ACM
We describe a novel iterationless approach for computing the effective capacitance of an interconnect load at a driving gate output. Our new approach is considerably faster than p...
148
click to vote
ESIAT
2009
IEEE
15 years 4 months ago
2009
IEEE
In the past, we evaluated the damage effectiveness of shrapnel pill without considering the dispersing blind area. Research and experiment show that dispersing dead area of shrapne...
162
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- We present a bus arbitration scheme for soft real-time constrained embedded systems. Some masters in such systems are required to complete their work for given timing constraints...
174
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...