Sciweavers

966 search results - page 92 / 194
» Global Optimization of Compositional Systems
Sort
View
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 2 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
SIGMOD
2008
ACM
116views Database» more  SIGMOD 2008»
15 years 10 months ago
SPADE: the system s declarative stream processing engine
In this paper, we present Spade - the System S declarative stream processing engine. System S is a large-scale, distributed data stream processing middleware under development at ...
Bugra Gedik, Henrique Andrade, Kun-Lung Wu, Philip...
IWANN
2009
Springer
15 years 2 months ago
Stereo-MAS: Multi-Agent System for Image Stereo Processing
This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...
Sara Rodríguez, Juan Francisco de Paz, Javi...
ICCAD
2003
IEEE
147views Hardware» more  ICCAD 2003»
15 years 6 months ago
A Fast Crosstalk- and Performance-Driven Multilevel Routing System
In this paper, we propose a novel framework for fast multilevel routing considering crosstalk and performance optimization. To handle the crosstalk minimization problem, we incorp...
Tsung-Yi Ho, Yao-Wen Chang, Sao-Jie Chen, D. T. Le...
ISSS
1997
IEEE
103views Hardware» more  ISSS 1997»
15 years 2 months ago
Fast and Extensive System-Level Memory Exploration for ATM Applications
In this paper, our memory architecture exploration methodology and CAD techniques for network protocol applications are presented. Prototype tools have been implemented, and appli...
Peter Slock, Sven Wuytack, Francky Catthoor, Gjalt...