Sciweavers

6704 search results - page 1293 / 1341
» Testing Scenario-Based Models
Sort
View
JCDL
2004
ACM
146views Education» more  JCDL 2004»
14 years 3 months ago
Enhancing digital libraries with TechLens+
The number of research papers available is growing at a staggering rate. Researchers need tools to help them find the papers they should read among all the papers published each y...
Roberto Torres, Sean M. McNee, Mara Abel, Joseph A...
SC
2004
ACM
14 years 3 months ago
A Parallel Visualization Pipeline for Terascale Earthquake Simulations
This paper presents a parallel visualization pipeline implemented at the Pittsburgh Supercomputing Center (PSC) for studying the largest earthquake simulation ever performed. The ...
Hongfeng Yu, Kwan-Liu Ma, Joel Welling
SIGMETRICS
2004
ACM
141views Hardware» more  SIGMETRICS 2004»
14 years 3 months ago
CapProbe: a simple and accurate capacity estimation technique for wired and wireless environments
The problem of estimating the capacity of an Internet path is one of fundamental importance. Due to the multitude of potential applications, a large number of solutions have been ...
Rohit Kapoor, Ling-Jyh Chen, Alok Nandan, Mario Ge...
SIGSOFT
2004
ACM
14 years 3 months ago
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...
Jürgen Dingel, Hongzhi Liang
VRML
2004
ACM
14 years 3 months ago
A VRML97-X3D extension for massive scenery management in virtual worlds
In this paper we present a VRML97-X3D extension to describe precomputed visibility relationships in the context of progressive transmission as well as real time visualization of m...
Jean-Eudes Marvie, Kadi Bouatouch
« Prev « First page 1293 / 1341 Last » Next »