Sciweavers

5180 search results - page 353 / 1036
» Concurrency, Time, and Constraints
Sort
View
ENTCS
2006
231views more  ENTCS 2006»
15 years 6 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
189
Voted
SIMPRA
1998
99views more  SIMPRA 1998»
15 years 6 months ago
Rollback overhead reduction methods for time warp distributed simulation
Parallel discrete event simulation is a useful technique to improve performance of sequential discrete event simulation. We consider the Time Warp algorithm for asynchronous distr...
Simonetta Balsamo, C. Manconi
EOR
2010
159views more  EOR 2010»
15 years 1 months ago
An exact algorithm for a vehicle routing problem with time windows and multiple use of vehicles
The vehicle routing problem with multiple use of vehicles is a variant of the classical vehicle routing problem. It arises when each vehicle performs several routes during the wor...
Nabila Azi, Michel Gendreau, Jean-Yves Potvin
184
Voted
ICAC
2008
IEEE
16 years 1 months ago
An Adaptive Middleware for Supporting Time-Critical Event Response
Abstract— There are many applications where a timely response to an important event is needed. Often such response can require significant computation and possibly communication...
Qian Zhu, Gagan Agrawal
EUROCRYPT
2004
Springer
16 years 7 days ago
Merkle Tree Traversal in Log Space and Time
Abstract. We present a technique for Merkle tree traversal which requires only logarithmic space and time1 . For a tree with N nodes, our algorithm computes sequential tree leaves ...
Michael Szydlo