5639 search results - page 147 / 1128 » Timed Abstract Non-interference |
108
Voted
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
We present a methodology that brings simplicity to large and comt labs by using abstraction. The networking community has appreciated the value of large scale test labs to explore...
115
click to vote
RECOMB
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Understanding the regulatory mechanisms that are responsible for an organism's response to environmental changes is an important question in molecular biology. A fir...
116
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
108
click to vote
ASPDAC
2009
ACM
15 years 8 months ago
2009
ACM
Abstract— Double patterning lithography (DPL) is in current production for memory products, and is widely viewed as inevitable for logic products at the 32nm node. DPL decomposes...
120
Voted
ICAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— There are many applications where a timely response to an important event is needed. Often such response can require significant computation and possibly communication...