1451 search results - page 239 / 291 » Case Studies in Model Manipulation for Scientific Computing |
136
click to vote
ERSA
2003
15 years 5 months ago
2003
Abstract— Reconfigurable computing architectures aim to dynamically adapt their hardware to the application at hand. As research shows, the time it takes to reconfigure the har...
137
click to vote
SLP
1994
15 years 5 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
126
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We provide linear-time algorithms for geometric graphs with sublinearly many crossings. That is, we provide algorithms running in O(n) time on connected geometric graphs having n ...
146
click to vote
SIMULATION
1998
15 years 4 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
149
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...