Sciweavers

7080 search results - page 967 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
ICPPW
2007
IEEE
16 years 15 days ago
Power Management of Multicore Multiple Voltage Embedded Systems by Task Scheduling
We study the role of task-level scheduling in power management on multicore multiple voltage embedded systems. Multicore on-achip, in particular DSP systems, can greatly improve p...
Gang Qu
DSN
2006
IEEE
16 years 7 days ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
FDL
2006
IEEE
16 years 7 days ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
WSC
2001
15 years 7 months ago
Improving simulation model adaptability with a production control framework
Simulation models provide a powerful tool for the analysis of manufacturing systems, but their utility beyond the design stage of the system life cycle is hampered by the high cos...
Sean M. Gahagan, Jeffrey W. Herrmann
ICMCS
2009
IEEE
154views Multimedia» more  ICMCS 2009»
15 years 3 months ago
Automatic edition of songs for Guitar Hero/Frets on Fire
In this contribution, an automatic system of song edition for Guitar Hero/Frets on Fire is presented. The system performs three fundamental stages: time analysis, frequency analys...
Ana M. Barbancho, Isabel Barbancho, Lorenzo J. Tar...