Sciweavers

2372 search results - page 361 / 475
» Probabilistic calling context
Sort
View
CHI
2000
ACM
14 years 10 days ago
curlybot: designing a new class of computational toys
We introduce an educational toy, called curlybot, as the basis for a new class of toys aimed at children in their early stages of development – ages four and up. curlybot is an ...
Phil Frei, Victor Su, Bakhtiar Mikhak, Hiroshi Ish...
DATE
2010
IEEE
148views Hardware» more  DATE 2010»
14 years 9 days ago
Scoped identifiers for efficient bit aligned logging
Abstract--Detailed diagnostic data is a prerequisite for debugging problems and understanding runtime performance in distributed wireless embedded systems. Severe bandwidth limitat...
Roy Shea, Mani B. Srivastava, Young Cho
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 9 days ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
PADS
1999
ACM
14 years 8 days ago
Exploiting Temporal Uncertainty in Parallel and Distributed Simulations
Most work to date in parallel and distributed discrete event simulation is based on assigning precise time stamps to events, and time stamp order event processing. An alternative ...
Richard Fujimoto
SI3D
1999
ACM
14 years 8 days ago
Toolspaces and glances: storing, accessing, and retrieving objects in 3D desktop applications
Users of 3D desktop applications perform tasks that require accessing data storage, moving objects, and navigation. These operations are typically performed using 2D GUI elements ...
Jeffrey S. Pierce, Matthew Conway, Maarten van Dan...