Sciweavers

32028 search results - page 448 / 6406
» Experimenting a
Sort
View
COMCOM
2000
82views more  COMCOM 2000»
15 years 6 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
CLUSTER
2002
IEEE
15 years 6 months ago
Experience in Offloading Protocol Processing to a Programmable NIC
Arthur B. Maccabe, Wenbin Zhu, Jim Otto, Rolf Ries...
DT
2000
65views more  DT 2000»
15 years 6 months ago
Using a Soft Core in a SoC Design: Experiences with picoJava
Sujit Dey, Debashis Panigrahi, Li Chen, Clark N. T...