29143 search results - page 164 / 5829 » A Sortation System Model |
143
Voted
SIMULATION
2011
14 years 9 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
151
Voted
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
125
click to vote
PARA
2004
Springer
15 years 8 months ago
2004
Springer
We describe the parallelization of an efficient algorithm for balanced truncation that allows to reduce models with state-space dimension up to O(105 ). The major computational tas...
129
Voted
ICCSA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In our companion paper [5], we described the optics underlying camera models that have been used in computer graphics, and presented object space techniques for rendering...
113
Voted
CSFW
1999
IEEE
15 years 7 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...