4604 search results - page 587 / 921 » Concurrency in Synchronous Systems |
161
Voted
DAC
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe several experiments designed to characterize jitter in an actual automotive application designed using FlexCAN, a CAN based communication architecture. ...
216
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
165
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
A number of execution strategies for parallel evaluation of multi-join queries have been proposed in the literature; their performance was evaluated by simulation. In this paper w...
186
Voted
ARTCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we attempt to maximize the efficiency of the parallel Apriori Algorithm. The paper analyzes the performance of the algorithm over different datasets and over n proce...
227
click to vote
FMOODS
2007
15 years 8 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...