Sciweavers

5863 search results - page 366 / 1173
» An evaluation of the TRIPS computer system
Sort
View
NOSSDAV
1991
Springer
15 years 10 months ago
Kernel Support for Live Digital Audio and Video
: We have developed a real-time operating system kernel which has been used to support the transmission and reception of streams of live digital audio and video in real-time as par...
Kevin Jeffay, Donald L. Stone, F. Donelson Smith
HCI
2009
15 years 4 months ago
Visual Data Mining in Immersive Virtual Environment Based on 4K Stereo Images
In this study, super high-definition immersive visual data mining environment using 4K stereo projector was developed. In this system, data can be represented with high accuracy in...
Tetsuro Ogi, Yoshisuke Tateyama, So Sato
ICPPW
2005
IEEE
16 years 14 days ago
Performance Prophet: A Performance Modeling and Prediction Tool for Parallel and Distributed Programs
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
Sabri Pllana, Thomas Fahringer
EGC
2005
Springer
16 years 12 days ago
A Service Oriented Architecture for Decision Making in Engineering Design
Abstract. Decision making in engineering design can be effectively addressed by using genetic algorithms to solve multi-objective problems. These multi-objective genetic algorithm...
Alex Shenfield, Peter J. Fleming
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier