Sciweavers

300 search results - page 28 / 60
» Reducing Component Systems' Behavior Specification
Sort
View
FM
2006
Springer
113views Formal Methods» more  FM 2006»
14 years 14 days ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
ISCAS
2005
IEEE
166views Hardware» more  ISCAS 2005»
14 years 2 months ago
Extending SystemC to support mixed discrete-continuous system modeling and simulation
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
Alain Vachoux, Christoph Grimm, Karsten Einwich
ISCC
2008
IEEE
110views Communications» more  ISCC 2008»
14 years 3 months ago
Model for polling in noisy multihop systems with application to PLC and AMR
The present paper presents a Markov Chain model of polling in noisy multi-hop systems typical of Power Line Communications (PLC) as well as of other systems. The model includes the...
Joseph M. Selga, Agustín Zaballos, Jaume Ab...
CACM
1998
103views more  CACM 1998»
13 years 8 months ago
The Virtual Design Team
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
John C. Kunz, Tore R. Christiansen, Geoff P. Cohen...
OPODIS
2004
13 years 10 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis