7557 search results - page 353 / 1512 » Modeling Timed Concurrent Systems |
194
click to vote
WSC
2008
15 years 9 months ago
2008
This research examines the performance of CONWIP versus "push" workload control in a simple, balanced manufacturing flowline. Analytical models and simulation experiment...
174
Voted
ENTCS
2006
15 years 6 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
181
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a methodology for the real time alignment of music signals using sequential Montecarlo inference techniques. The alignment problem is formulated as the state tracking o...
156
click to vote
ASAP
2003
IEEE
16 years 3 hour ago
2003
IEEE
Recently, a number of researchers have started to investigate new video-on-demand (VoD) architectures using batching, patching and periodic broadcasting. These architectures, comp...
217
Voted
ECHT
1992
15 years 10 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...