127 search results - page 11 / 26 » A Framework for Partial Data Flow Analysis |
WSC
2007
13 years 10 months ago
2007
“See and Treat” in an Emergency Department combines the process of patient assessment with treatment in the expectation that it will increase patient throughput and decrease q...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper we present a system for classifying various human actions in compressed domain video framework. We introduce the notion of quantifying the motion involved, through w...
QUESTA
2006
13 years 7 months ago
2006
We compare the performance of three usual allocations (max-min fairness, proportional fairness and balanced fairness) in a communication network whose resources are shared by a ra...