2214 search results - page 179 / 443 » Dynamic Protocol Recovery |
90
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
97
Voted
MICCAI
2004
Springer
16 years 1 months ago
2004
Springer
For diagnosis, preoperative planning and postoperative guides, an accurate estimate of joints kinematics is required. We bring together MRI developments and new image processing me...
127
click to vote
FSKD
2005
Springer
15 years 6 months ago
2005
Springer
Core operations (e.g. TDMA scheduler, synchronized sleep period, data aggregation) of many proposed protocols for different layer of sensor network necessitate clock synchronizatio...
109
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...
114
Voted
SOCA
2007
IEEE
15 years 7 months ago
2007
IEEE
Service collaboration is important in ServiceOriented Architecture (SOA). While service collaboration protocols for data exchange are well explored, the Dynamic Process Collaborat...