2468 search results - page 249 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
161
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
145
Voted
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
145
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we describe a compilation system that automates much of the process of performance tuning that is currently done manually by application programmers interested in h...
109
click to vote
PAMI
2008
15 years 4 months ago
2008
We address the issue of classifying complex data. We focus on three main sources of complexity, namely, the high dimensionality of the observed data, the dependencies between these...
161
click to vote
HCW
1999
IEEE
15 years 8 months ago
1999
IEEE
A framework for task assignment in heterogeneous computing systems is presented in this work. The framework is based on a learning automata model. The proposed model can be used f...