Sciweavers

1814 search results - page 215 / 363
» Visual Modeling for Complex Agent-Based Simulation Systems
Sort
View
MICRO
2008
IEEE
137views Hardware» more  MICRO 2008»
15 years 6 months ago
Verification of chip multiprocessor memory systems using a relaxed scoreboard
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
Ofer Shacham, Megan Wachs, Alex Solomatnikov, Amin...
WSC
2008
15 years 8 months ago
New approaches for inference of unobservable queues
Many inference methods of queueing systems have been developed on the basis of Larson's QIE(queue inference engine) with the assumption of homogeneous Poisson arrivals. It in...
Yun Bae Kim, Jinsoo Park
COMPSAC
1998
IEEE
15 years 10 months ago
M-base: Enduser-Initiative Application Development Based on Message Flow and Componentware
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
Takeshi Chusho, Mitsuyoshi Matsumoto, Yuji Konishi
IRI
2005
IEEE
15 years 11 months ago
Modeling methodology for application development in petroleum industry
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
Cong Zhang, Viktor K. Prasanna, Abdollah Orangi, W...
ICRA
1998
IEEE
154views Robotics» more  ICRA 1998»
15 years 10 months ago
Vibration Feedback Models for Virtual Environments
Vibrations can significantly enhance touch perception for virtual environment applications with minimal design complexity and cost. In order to create realistic vibrotactile feedb...
Allison M. Okamura, Stanford Dennerlein, Robert D....