3575 search results - page 360 / 715 » Modeling Concurrency with Geometry |
151
click to vote
TACS
1991
Springer
15 years 10 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
187
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
A conventional transaction manager implemented by a database management system (DBMS) was compared against one implemented within an operating system (OS) in a variety of simulate...
170
click to vote
FMOODS
2007
15 years 8 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
170
click to vote
APPINF
2003
15 years 8 months ago
2003
One of the primary advantages of artificial neural networks is their inherent ability to perform massively parallel, nonlinear signal processing. However, the asynchronous dynamics...
153
click to vote
FUIN
2006
15 years 6 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...