5376 search results - page 940 / 1076 » Scalable Kernel Systems |
127
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
147
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
135
click to vote
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a generic communication primitive designed for sensor networks. Our primitive hides details of network communication while retaining sufficient programmer control over t...
130
click to vote
DFT
2006
IEEE
15 years 8 months ago
2006
IEEE
The concept of clocking for QCA, referred to as the four-phase clocking, is widely used. However, inherited characteristics of QCA, such as the way to hold state, the way to synch...
167
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...