606 search results - page 52 / 122 » Discrete Time Process Algebra |
105
Voted
PADS
1999
ACM
15 years 6 months ago
1999
ACM
Most work to date in parallel and distributed discrete event simulation is based on assigning precise time stamps to events, and time stamp order event processing. An alternative ...
103
Voted
ESA
2006
Springer
15 years 5 months ago
2006
Springer
We design compact and responsive kinetic data structures for detecting collisions between n convex fat objects in 3-dimensional space that can have arbitrary sizes. Our main result...
104
click to vote
ICIP
2009
IEEE
16 years 2 months ago
2009
IEEE
A new and fast method for dominant point detection and polygonal representation of a discrete curve is proposed. Starting from results of discrete geometry [1, 2], the notion of m...
CONCUR
1990
Springer
15 years 5 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
102
click to vote
CERA
2010
15 years 1 months ago
2010
Multilevel design problems are typically decomposed into a hierarchy of distributed and strongly coupled sub-problems, each solved by design teams with specialized knowledge and t...