345 search results - page 15 / 69 » A process logic for distributed system synthesis |
118
Voted
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
125
click to vote
DEBS
2010
ACM
15 years 4 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...
99
Voted
CODES
1999
IEEE
15 years 6 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
106
Voted
CSR
2006
Springer
15 years 5 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
140
click to vote
TC
2011
14 years 8 months ago
2011
—Mounting concerns over variability, defects and noise motivate a new approach for digital circuitry: stochastic logic, that is to say, logic that operates on probabilistic signa...