7530 search results - page 1317 / 1506 » Design and Implementation of the YAWL System |
211
click to vote
IEEECGIV
2006
IEEE
16 years 1 months ago
2006
IEEE
The tracking of features in real-time video streams forms the integral part of many important applications in human-computer interaction and computer vision. Unfortunately trackin...
169
click to vote
ISVLSI
2006
IEEE
16 years 1 months ago
2006
IEEE
Network-on-Chip (NoC) proposes networks to replace buses as a scalable global communication interconnect for future SoC designs. However, a bus is very efficient in broadcasting....
182
Voted
IWPC
2006
IEEE
16 years 1 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
190
click to vote
NDSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Structured overlays are an important and powerful class of overlay networks that has emerged in recent years. They are typically targeted at peer-to-peer deployments involving mil...
197
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...