4242 search results - page 378 / 849 » An Event Spacing Experiment |
222
click to vote
ISSS
1998
IEEE
15 years 12 months ago
1998
IEEE
This paper presents a codesign approach which incorporates communication protocol selection as a design parameter within hardware/software partitioning. The presented approach tak...
248
click to vote
TACAS
1997
Springer
15 years 11 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
203
Voted
CAV
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
212
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
-- In this paper we present a new method for Boolean matching of completely specified Boolean functions. The canonical Generalized Reed-Muller forms are used as a powerful analysis...
122
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
It is often the case that the set of values over which a B-Tree is constructed has a skewed distribution. We present a geometric growth technique to manage postings records in suc...