Sciweavers

6198 search results - page 1054 / 1240
» Multi-Paradigm Process Management
Sort
View
112
Voted
WSC
2008
15 years 5 months ago
Reducing Emergency Department overcrowding - five patient buffer concepts in comparison
Emergency Department (ED) overcrowding is a common medical care issue in the United States and other developed nations. One major cause of ED crowding are holding patients waiting...
Erik Michael Wilhelm Kolb, Jordan Peck, Sebastian ...
130
Voted
APN
2008
Springer
15 years 4 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
ASPDAC
2008
ACM
119views Hardware» more  ASPDAC 2008»
15 years 4 months ago
A stochastic local hot spot alerting technique
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
Hwisung Jung, Massoud Pedram
HAIS
2010
Springer
15 years 4 months ago
Analysing the Low Quality of the Data in Lighting Control Systems
Energy efficiency represents one of the main challenges in the engineering field, i.e., by means of decreasing the energy consumption due to a better design minimising the energy ...
José Ramón Villar, Enrique A. de la ...
CAISE
2008
Springer
15 years 4 months ago
An Hybrid Design Solution For Spacecraft Simulators
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
Vitor Rodrigues, João Correia Lopes, Ana Mo...
« Prev « First page 1054 / 1240 Last » Next »