4305 search results - page 409 / 861 » Analysing Protocol Implementations |
159
click to vote
PATMOS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
173
click to vote
SC
2003
ACM
16 years 1 days ago
2003
ACM
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
179
click to vote
FM
2003
Springer
16 years 18 hour ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
191
click to vote
ASYNC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper brings together a selection of creative circuit designs and ideas that Charles Molnar devised while working at Sun Microsystems Laboratories. The circuits offer fast im...
147
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present the architecture of CoBFIT, a component-based framework for building intrusion-tolerant distributed systems. The CoBFIT framework, by virtue of its desig...