Sciweavers

2757 search results - page 405 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
DSRT
2009
IEEE
15 years 8 months ago
On the Efficiency of LifeBelt Based Crowd Evacuation
—To support the evacuation process of crowds from emergency situations, we have developed a wearable device, LifeBelt, for vibro tactile guidance of individuals in panic towards ...
Alois Ferscha, Kashif Zia
ICASSP
2008
IEEE
15 years 8 months ago
Discriminative training by iterative linear programming optimization
In this paper, we cast discriminative training problems into standard linear programming (LP) optimization. Besides being convex and having globally optimal solution(s), LP progra...
Brian Mak, Benny Ng
GLOBECOM
2007
IEEE
15 years 8 months ago
Sensing Workload Scheduling in Sensor Networks Using Divisible Load Theory
Abstract— This paper presents scheduling strategies for sensing workload in wireless sensor networks using Divisible Load Theory (DLT), which offers a tractable model and realist...
Xiaolin Li, Xinxin Liu, Hui Kang
ICCD
2005
IEEE
90views Hardware» more  ICCD 2005»
15 years 7 months ago
Variability-Driven Buffer Insertion Considering Correlations
— In this work we investigate the buffer insertion problem under process variations. Sub 100-nm fabrication process causes significant variations on many design parameters. We p...
Azadeh Davoodi, Ankur Srivastava
ICSE
2000
IEEE-ACM
15 years 5 months ago
Verification of time partitioning in the DEOS scheduler kernel
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
John Penix, Willem Visser, Eric Engstrom, Aaron La...