5639 search results - page 266 / 1128 » Timed Abstract Non-interference |
159
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Wafer-level test during burn-in (WLTBI) has recently emerged as a promising technique to reduce test and burn-in costs in semiconductor manufacturing. However, the testi...
188
click to vote
ICNSC
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— In time varying packet-switched networks, delivering data with high reliability using a limited amount of network resources is highly desirable. To capture the trade-of...
142
click to vote
RTSS
2005
IEEE
16 years 4 days ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
163
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
194
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...