Sciweavers

817 search results - page 80 / 164
» On 2-factors with k components
Sort
View
DATE
2004
IEEE
117views Hardware» more  DATE 2004»
15 years 10 months ago
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierr...
EH
2004
IEEE
102views Hardware» more  EH 2004»
15 years 10 months ago
Circuit Self-Recovery Experiments in Extreme Environments
Temperature and radiation tolerant electronics, as well as long life survivability are key capabilities required for future NASA missions. Current approaches to electronics for ex...
Adrian Stoica, Didier Keymeulen, Tughrul Arslan, V...
CIVR
2006
Springer
15 years 10 months ago
Modular Design of Media Retrieval Workflows Using ARIA
In this demo, we present the use of the ARIA platform for modular design of media processing and retrieval applications. ARIA is a middleware for describing and executing media pro...
Lina Peng, Gisik Kwon, Yinpeng Chen, K. Selç...
EUROMICRO
2004
IEEE
15 years 10 months ago
Analysis and Prediction of Performance for Evolving Architectures
This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted ...
Evgeni M. Eskenazi, Alexandre V. Fioukov, Dieter K...
COMPSAC
2001
IEEE
15 years 9 months ago
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message-Triggered Objects
The time-triggered message-triggered object (TMO) programming scheme has been established to remove the limitation of conventional object programming techniques and tools in devel...
Galo Gimenez, K. H. Kim