5171 search results - page 249 / 1035 » Deterministic Parallel Processing |
151
Voted
ASAP
2003
IEEE
15 years 11 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
163
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
186
click to vote
ICMCS
2008
IEEE
16 years 23 days ago
2008
IEEE
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
141
click to vote
EDOC
2007
IEEE
16 years 20 days ago
2007
IEEE
—Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured processes. Furthermore, flexibility in contemporary WFMSs usually comes ...
150
click to vote
EDOC
2006
IEEE
16 years 12 days ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...