Sciweavers

4924 search results - page 425 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
GPCE
2007
Springer
16 years 29 days ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
16 years 1 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
HPDC
2008
IEEE
16 years 1 months ago
Harmony: an execution model and runtime for heterogeneous many core systems
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
Gregory F. Diamos, Sudhakar Yalamanchili
SIGMOD
2004
ACM
209views Database» more  SIGMOD 2004»
16 years 7 months ago
MAIDS: Mining Alarming Incidents from Data Streams
Real-time surveillance systems, network and telecommunication systems, and other dynamic processes often generate tremendous (potentially infinite) volume of stream data. Effectiv...
Y. Dora Cai, David Clutter, Greg Pape, Jiawei Han,...
DAGM
2005
Springer
16 years 10 days ago
A System for Marker-Less Human Motion Estimation
Abstract. In this contribution we present a silhouette based human motion estimation system. The system components contain silhouette extraction based on level sets, a corresponden...
Bodo Rosenhahn, Uwe G. Kersting, Andrew W. Smith, ...