Sciweavers

4311 search results - page 7 / 863
» Code Generation for Distributed Systems
Sort
View
CODES
1994
IEEE
13 years 11 months ago
Constrained software generation for hardware-software systems
Rajesh K. Gupta, Giovanni De Micheli
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
13 years 11 months ago
Control generation for embedded systems based on composition of modal processes
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
Pai H. Chou, Ken Hines, Kurt Partridge, Gaetano Bo...
PTS
1993
106views Hardware» more  PTS 1993»
13 years 8 months ago
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...
Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pa...
TCOM
2008
117views more  TCOM 2008»
13 years 7 months ago
Distributed differential space-time coding for wireless relay networks
Distributed space-time coding is a cooperative transmission scheme proposed for wireless relay networks. With this scheme, antennas of the distributive relays work as transmit ante...
Yindi Jing, Hamid Jafarkhani
RTSS
2009
IEEE
14 years 2 months ago
Distributed, Modular HTL
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...