Sciweavers

1522 search results - page 153 / 305
» Requirements analysis for large scale systems
Sort
View
SSDBM
2011
IEEE
239views Database» more  SSDBM 2011»
13 years 24 days ago
Recipes for Baking Black Forest Databases - Building and Querying Black Hole Merger Trees from Cosmological Simulations
Large-scale N-body simulations play an important role in advancing our understanding of the formation and evolution of large structures in the universe. These computations require ...
Julio López, Colin Degraf, Tiziana DiMatteo...
CIVR
2007
Springer
210views Image Analysis» more  CIVR 2007»
14 years 3 months ago
Semantic video analysis for psychological research on violence in computer games
In this paper, we present an automatic semantic video analysis system to support interdisciplinary research efforts in the field of psychology and media science. The psychological...
Markus Mühling, Ralph Ewerth, Thilo Stadelman...
PLDI
2000
ACM
14 years 1 months ago
Type-based race detection for Java
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
Cormac Flanagan, Stephen N. Freund
IV
1998
IEEE
114views Visualization» more  IV 1998»
14 years 1 months ago
Level of Data - A Concept for Knowledge Discovery in Information Spaces
alization of large volumes of abstract information requires mechanisms to support the user by knowledge discovering. Therefore we developed the level of data Therein the abstract ...
Miriam Lux
CDC
2010
IEEE
140views Control Systems» more  CDC 2010»
13 years 4 months ago
On the observability of linear systems from random, compressive measurements
Abstract-- Recovering or estimating the initial state of a highdimensional system can require a potentially large number of measurements. In this paper, we explain how this burden ...
Michael B. Wakin, Borhan Molazem Sanandaji, Tyrone...