674 search results - page 34 / 135 » Resource Bound Certification |
113
Voted
ET
2006
15 years 3 months ago
2006
Recent years have seen the emergence of dropletbased microfluidic systems for safety-critical biomedical applications. In order to ensure reliability, microsystems incorporating m...
135
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
We consider the operator mapping problem for in-network stream processing, i.e., the application of a tree of operators in steady-state to multiple data objects that are continuou...
103
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...
163
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—A joint congestion control, channel allocation and scheduling algorithm for multi-channel multi-interface multihop wireless networks is discussed. The goal of maximizing a utili...
124
Voted
CONSTRAINTS
1998
15 years 3 months ago
1998
This paper presents an experimental study of constraint propagation algorithms for preemptive scheduling. We propose generalizations of non-preemptive constraint propagation techni...