Sciweavers

683 search results - page 16 / 137
» Driver Destination Models
Sort
View
71
Voted
CHI
2005
ACM
15 years 10 months ago
Distract-R: rapid prototyping and evaluation of in-vehicle interfaces
As driver distraction from in-vehicle devices increasingly becomes a concern on our roadways, researchers have searched for better scientific understanding of distraction along wi...
Dario D. Salvucci, Mark Zuber, Ekaterina Beregovai...
TACAS
2004
Springer
111views Algorithms» more  TACAS 2004»
15 years 3 months ago
Automatic Creation of Environment Models via Training
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
Thomas Ball, Vladimir Levin, Fei Xie
TCS
2010
14 years 4 months ago
Analysis of a cellular automaton model for car traffic with a slow-to-stop rule
We propose a modification of the widely known Benjamin-Johnson-Hui (BJH) cellular automaton model for single-lane traffic simulation. In particular, our model includes a `slow-to-...
Adam Clarridge, Kai Salomaa
75
Voted
VEE
2009
ACM
146views Virtualization» more  VEE 2009»
15 years 4 months ago
Achieving 10 Gb/s using safe and transparent network interface virtualization
: © Achieving 10 Gb/s using Safe and Transparent Network Interface Virtualization Kaushik Kumar Ram, Jose Renato Santos, Yoshio Turner, Alan L. Cox, Scott Rixner HP Laboratories H...
Kaushik Kumar Ram, Jose Renato Santos, Yoshio Turn...
USENIX
2008
14 years 12 months ago
Bridging the Gap between Software and Hardware Techniques for I/O Virtualization
: The paravirtualized I/O driver domain model, used in Xen, provides several advantages including device driver isolation in a safe execution environment, support for guest VM tran...
Jose Renato Santos, Yoshio Turner, G. John Janakir...