Sciweavers

18493 search results - page 335 / 3699
» Timers for Distributed Systems
Sort
View
FCCM
1999
IEEE
110views VLSI» more  FCCM 1999»
15 years 11 months ago
Implementing an API for Distributed Adaptive Computing Systems
Mark Jones, Luke Scharf, Jonathan Scott, Chris Twa...
144
Voted
FM
1999
Springer
122views Formal Methods» more  FM 1999»
15 years 11 months ago
Towards a Compositional Approach to the Design and Verification of Distributed Systems
Michel Charpentier, K. Mani Chandy
TOOLS
1999
IEEE
15 years 11 months ago
Constructing Interoperable Components in Distributed Systems
Sea Ling, Heinz W. Schmidt, Rohan Fletcher
CODES
1998
IEEE
15 years 11 months ago
An analysis-based approach to composition of distributed embedded systems
2.1 Modal processes
Pai H. Chou, Gaetano Borriello