Sciweavers

3088 search results - page 195 / 618
» A Teleradiology System Design Case
Sort
View
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 12 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
TCAD
2008
103views more  TCAD 2008»
15 years 6 months ago
Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems
Latency-insensitive protocols allow system-on-chip (SoC) engineers to decouple the design of the computing cores from the design of the intercore communication channels while follo...
Rebecca L. Collins, Luca P. Carloni
CDC
2008
IEEE
143views Control Systems» more  CDC 2008»
16 years 1 months ago
On the use of numerical methods for analysis and control of nonlinear convective systems
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
Edward Allen, John A. Burns, David S. Gilliam
GLOBECOM
2008
IEEE
16 years 1 months ago
Interference-Aware Decentralized Precoding for Multicell MIMO TDD Systems
—Multiple-input multiple-output (MIMO) precoding scheme is developed for time division duplex (TDD) systems in a multicell environment. The proposed scheme is designed to maximiz...
Byong Ok Lee, Hui Won Je, Illsoo Sohn, Oh-Soon Shi...
WOA
2007
15 years 7 months ago
ELDATool: A Statecharts-based Tool for Prototyping Multi-Agent Systems
— This paper briefly describes the ELDATool, a Statecharts-based visual tool for the rapid prototyping of MultiAgent Systems based on the Event-driven Lightweight Distilled State...
Giancarlo Fortino, Alfredo Garro, Samuele Mascilla...