3404 search results - page 445 / 681 » C Programming Tutorial |
110
click to vote
COORDINATION
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
112
click to vote
FORMATS
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
144
Voted
IANDC
2010
14 years 11 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
142
click to vote
ISCAS
2011
IEEE
14 years 6 months ago
2011
IEEE
— The last two decades have seen many efficient algorithms and architectures for the design of low-complexity bit-parallel Multiple Constant Multiplications (MCM) operation, tha...
118
click to vote
LR
2011
14 years 5 months ago
2011
Abstract Communities of autonomous units are devices for the visual modeling of interactive logistic processes. The framework is founded on rule-based graph transformation and allo...