Sciweavers

1489 search results - page 183 / 298
» The First Bug Report
Sort
View
COSIT
2001
Springer
122views GIS» more  COSIT 2001»
15 years 9 months ago
Spatial and Cognitive Simulation with Multi-agent Systems
The simulation of human behavior in space is an extremely interesting and powerful research method to advance our understanding of human spatial cognition and the interaction of hu...
Andrew U. Frank, Steffen Bittner, Martin Raubal
136
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
136
Voted
IWQOS
2001
Springer
15 years 9 months ago
Why Value Is Everything: A User-Centered Approach to Internet Quality of Service and Pricing
To create acceptable levels of Quality of Service (QoS), designers need to be able to predict users’ behaviour in response to different levels of QoS. However, predicting behavio...
Anna Bouch, Martina Angela Sasse
MICCAI
2001
Springer
15 years 9 months ago
Magnified Real-Time Tomographic Reflection
Real Time Tomographic Reflection (RTTR) permits in situ visualization of ultrasound images so that direct hand-eye coordination can be employed during invasive procedures. The meth...
George D. Stetten, Vikram S. Chib
HPCA
2000
IEEE
15 years 9 months ago
Coherence Communication Prediction in Shared-Memory Multiprocessors
Abstract—Sharing patterns in shared-memory multiprocessors are the key to performance: uniprocessor latencytolerating techniques such as out-of-order execution and non-blocking c...
Stefanos Kaxiras, Cliff Young