Sciweavers

4311 search results - page 7 / 863
» Code Generation for Distributed Systems
Sort
View
103
Voted
CODES
1994
IEEE
15 years 9 months ago
Constrained software generation for hardware-software systems
Rajesh K. Gupta, Giovanni De Micheli
149
Voted
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
15 years 10 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»
15 years 7 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...
145
Voted
TCOM
2008
117views more  TCOM 2008»
15 years 5 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
144
Voted
RTSS
2009
IEEE
16 years 10 days 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 ...