562 search results - page 88 / 113 » A Concurrent Model for Linear Logic |
123
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
113
click to vote
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
102
Voted
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...
100
click to vote
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
AAAI
1993
15 years 3 months ago
1993
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...