129 search results - page 19 / 26 » Completeness Results for Linear Logic on Petri Nets |
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...
CIA
2007
Springer
14 years 1 months ago
2007
Springer
When two or more agents interacting, their behaviors are not necessarily matching. Automated ways to overcome con icts in the behavior of agents can make the execution of interacti...
CPE
1994
Springer
13 years 11 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
DATE
2000
IEEE
13 years 12 months ago
2000
IEEE
Today’s system-on-a-chip designs consist of many cores. To enable cores to be easily integrated into different systems, many propose creating cores with their internal logic sep...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...