Sciweavers

481 search results - page 73 / 97
» Acceleration of behavioral simulation on simulation specific...
Sort
View
SSDBM
2000
IEEE
126views Database» more  SSDBM 2000»
15 years 4 months ago
Generating Network-Based Moving Objects
Benchmarking spatiotemporal database systems requires the definition of suitable datasets simulating the typical behavior of moving objects. Previous approaches for generating spa...
Thomas Brinkhoff
COSIT
2009
Springer
146views GIS» more  COSIT 2009»
15 years 6 months ago
Decentralized Time Geography for Ad-Hoc Collaborative Planning
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
Martin Raubal, Stephan Winter, Christopher Dorr
IRI
2008
IEEE
15 years 6 months ago
FACT: A fusion architecture with contract templates for semantic and syntactic integration
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
Rose F. Gamble, Robert Baird, Leigh Flagg, Melody ...
EUROPAR
2006
Springer
15 years 3 months ago
PAM-SoC: A Toolchain for Predicting MPSoC Performance
In the past, research on Multiprocessor Systems-on-Chip (MPSoC) has focused mainly on increasing the available processing power on a chip, while less effort was put into specific s...
Ana Lucia Varbanescu, Henk J. Sips, Arjan J. C. va...
CCR
2004
151views more  CCR 2004»
14 years 11 months ago
Practical verification techniques for wide-area routing
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
Nick Feamster