Sciweavers

22 search results - page 1 / 5
» rv 2010
Sort
View
RV
2010
Springer
119views Hardware» more  RV 2010»
13 years 1 months ago
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
Djihed Afifi, David E. Rydeheard, Howard Barringer
RV
2010
Springer
220views Hardware» more  RV 2010»
13 years 1 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
TEI
2010
ACM
236views Hardware» more  TEI 2010»
13 years 10 months ago
StitchRV: multi-camera fiducial tracking
StitchRV is a fiducial and touch-tracking engine based on the popular reacTIVision fiducial tracking system. StitchRV combines video input from multiple cameras in real time, and ...
Sijie Wang, Allen Bevans, Alissa Nicole Antle
TCOM
2010
147views more  TCOM 2010»
12 years 10 months ago
On a Ratio of Functions of Exponential Random Variables and Some Applications
Consider independent and identically distributed exponential random variables (r.vs) 1, 2, . . . , and positive scalars 1, 2, . . . , . In this letter, we present the probability...
Ramesh Annavajjala, Ananthanarayanan Chockalingam,...
RV
2010
Springer
171views Hardware» more  RV 2010»
13 years 1 months ago
Runtime Verification for Software Transactional Memories
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
Vasu Singh