Sciweavers

569 search results - page 85 / 114
» The Sisyphus Continuous Integration System
Sort
View
APN
1993
Springer
14 years 3 months ago
Transient Analysis of Deterministic and Stochastic Petri Nets
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...
Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trived...
AICCSA
2007
IEEE
209views Hardware» more  AICCSA 2007»
14 years 2 months ago
LBS and GIS Technology Combination and Applications
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...
Balqies Sadoun, Omar Al-Bayari
ASPDAC
2006
ACM
141views Hardware» more  ASPDAC 2006»
14 years 2 months ago
Depth-driven verification of simultaneous interfaces
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
EUROSSC
2008
Springer
14 years 21 days ago
Raising Awareness about Space via Vibro-Tactile Notifications
Human perception, in a world of continuous and seamless exposure to visual and auditory stimuli, is increasingly challenged to information overload. Among the primary human senses,...
Andreas Riener, Alois Ferscha
BCSHCI
2007
14 years 12 days ago
GazeSpace: eye gaze controlled content spaces
In this paper, we introduce GazeSpace, a novel system utilizing eye gaze to browse content spaces. While most existing eye gaze systems are designed for medical contexts, GazeSpac...
Sven Laqua, Shane Udaraka Bandara, Martina Angela ...