7530 search results - page 162 / 1506 » Design and Implementation of the YAWL System |
107
Voted
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
80
Voted
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
Abstract-- Multiprocessor designs have become popular in embedded domains for achieving the power and performance requirements. In this paper, we present principles and techniques ...
ISCAS
2003
IEEE
15 years 3 months ago
2003
IEEE
MPEG-4 Fine Granularity Scalability (FGS) provides bandwidth adaptation and error resilience features for streaming applications. In this paper. by estimating the required computa...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper examines two Network Interface Card microarchitectures that support low latency, high bandwidth userlevel message passing in multi-user environments. The two are at dif...
69
Voted
PARCO
2003
14 years 11 months ago
2003
The relation between autonomous and communication phases determines the throughput of parallel structured information processing systems. Such a relation depends on the algorithm w...