740 search results - page 73 / 148 » A Spatial Logic for Concurrency |
IOLTS
2003
IEEE
14 years 29 days ago
2003
IEEE
A methodology for the synthesis of partially selfchecking multilevel logic circuits with low-cost paritybased concurrent error detection (CED) is described. A subset of the inputs...
IPPS
1997
IEEE
13 years 12 months ago
1997
IEEE
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...
APAL
2008
13 years 7 months ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
ECMAST
1997
Springer
13 years 12 months ago
1997
Springer
: This paper attempts to evaluate quantitatively the performance trade-offs involved in applying object-oriented software methodologies to region-based representations of images an...