Sciweavers

2067 search results - page 109 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
130
Voted
VLSID
2003
IEEE
253views VLSI» more  VLSID 2003»
16 years 2 months ago
High Level Synthesis from Sim-nML Processor Models
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
Souvik Basu, Rajat Moona
GI
2009
Springer
15 years 9 days ago
Group Tracking in an Air Surveillance System
: An operational Air Surveillance System shall generate a stable and reliable air picture. In dense target situations the quality of available sensor data is reduced. System models...
Wolfgang Konle
93
Voted
ISQED
2005
IEEE
95views Hardware» more  ISQED 2005»
15 years 8 months ago
Simulating and Improving Microelectronic Device Reliability by Scaling Voltage and Temperature
The purpose of this work is to explore how device operation parameters such as switching speed and power dissipation scale with voltage and temperature. We simulated a CMOS ring o...
Xiaojun Li, Joerg D. Walter, Joseph B. Bernstein
137
Voted
ARCS
2004
Springer
15 years 8 months ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
105
Voted
WSC
2004
15 years 3 months ago
Modeling Time and Space Metering of Flights in the National Airspace System
Metering flights at key points such as sector crossings is an important operational procedure in mitigating National Airspace System (NAS) traffic congestion due to high demand or...
Paul T. R. Wang, Craig R. Wanke, Frederick P. Wiel...