Sciweavers

53390 search results - page 381 / 10678
» Computer Systems Analysis
Sort
View
EGC
2005
Springer
16 years 8 days ago
Towards a Grid-wide Intrusion Detection System
We describe SANTA-G (Grid-enabled System Area Networks Trace Analysis), an instrument monitoring framework that uses the RGMA (Relational Grid Monitoring Architecture). We describe...
Stuart Kenny, Brian A. Coghlan
IPPS
2002
IEEE
15 years 11 months ago
Comparing the Memory System Performance of DSS Workloads on the HP V-Class and SGI Origin 2000
In this paper, we present an in-depth analysis of the memory system performance of the DSS commercial workloads on two state-of-the-art multiprocessors: the SGI Origin 2000 and th...
Rong Yu, Laxmi N. Bhuyan, Ravi R. Iyer
ARTS
1999
Springer
15 years 11 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
GI
2008
Springer
15 years 7 months ago
AR Binocular: Augmented Reality System for nautical navigation
: A realtime Augmented Reality binocular for the assistance of nautical staff is presented. AR systems combine the real environment with additional information. Nautical sea chart ...
Kristine Haase, Reinhard Koch
MVA
2007
156views Computer Vision» more  MVA 2007»
15 years 6 months ago
A system for articulated tracking incorporating a clothing model
Abstract In this paper an approach for motion capture of dressed people is presented. A cloth draping method is incorporated in a silhouette based motion capture system. This leads...
Bodo Rosenhahn, Uwe G. Kersting, Katie Powell, Rei...
« Prev « First page 381 / 10678 Last » Next »