1217 search results - page 114 / 244 » Using Planetlab to Implement Multicast at the Application Le... |
148
Voted
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents a hw/sw codesign methodology based on BORPH, an operating system designed for FPGA-based reconfigurable computers (RC's). By providing native kernel suppo...
117
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
138
Voted
ECRTS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET's medium ac...
133
click to vote
AINA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a tool allowing the design of orchestration at a high level of abstraction. This tool also allows specifying security properties, also in an way, as anno...
119
Voted
AAAI
1994
15 years 4 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...