Sciweavers

445 search results - page 51 / 89
» A Call Abstraction for Component Coordination
Sort
View
JSS
2010
120views more  JSS 2010»
14 years 6 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
SAMOS
2009
Springer
15 years 6 months ago
Visualization of Computer Architecture Simulation Data for System-Level Design Space Exploration
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
Toktam Taghavi, Mark Thompson, Andy D. Pimentel
CDC
2008
IEEE
112views Control Systems» more  CDC 2008»
15 years 6 months ago
Application of the proximal center decomposition method to distributed model predictive control
Abstract— In this paper we present a dual-based decomposition method, called here the proximal center method, to solve distributed model predictive control (MPC) problems for cou...
Ion Necoara, Dang Doan, Johan A. K. Suykens
ICCS
2007
Springer
15 years 6 months ago
Enabling Very-Large Scale Earthquake Simulations on Parallel Machines
Abstract. The Southern California Earthquake Center initiated a major largescale earthquake simulation called TeraShake. The simulations propagated seismic waves across a domain of...
Yifeng Cui, Reagan Moore, Kim Olsen, Amit Chourasi...
IPSN
2005
Springer
15 years 5 months ago
Building up to macroprogramming: an intermediate language for sensor networks
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
Ryan Newton, Arvind, Matt Welsh