Sciweavers

15840 search results - page 693 / 3168
» The Control of Synchronous Systems
Sort
View
PTS
2007
112views Hardware» more  PTS 2007»
15 years 8 months ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall
TC
2002
15 years 7 months ago
The Timewheel Group Communication System
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
Shivakant Mishra, Christof Fetzer, Flaviu Cristian
TWC
2010
15 years 1 months ago
Beamforming in MISO Systems: Empirical Results and EVM-Based Analysis
We present an analytical, simulation, and experimental-based study of beamforming Multiple Input Single Output (MISO) systems. We analyze the performance of beamforming MISO syste...
Melissa Duarte, Ashutosh Sabharwal, Chris Dick, Ra...
304
Voted
VLDB
2002
ACM
168views Database» more  VLDB 2002»
16 years 7 months ago
Anatomy of a native XML base management system
Abstract. Several alternatives to manage large XML document collections exist, ranging from file systems over relational or other database systems to specifically tailored XML base...
Thorsten Fiebig, Sven Helmer, Carl-Christian Kanne...
222
Voted
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
16 years 21 days ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...