Sciweavers

930 search results - page 85 / 186
» Model compression
Sort
View
114
Voted
CONCUR
2005
Springer
15 years 8 months ago
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
Eric Goubault, Emmanuel Haucourt
136
Voted
CISS
2010
IEEE
14 years 6 months ago
Average case analysis of sparse recovery from combined fusion frame measurements
—Sparse representations have emerged as a powerful tool in signal and information processing, culminated by the success of new acquisition and processing techniques such as Compr...
Petros Boufounos, Gitta Kutyniok, Holger Rauhut
143
Voted
CSMR
2004
IEEE
15 years 6 months ago
A Distributed Architecture for Dynamic Analyses on User-Profile Data
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
Giuliano Antoniol, Massimiliano Di Penta
146
Voted
ENGL
2007
119views more  ENGL 2007»
15 years 2 months ago
Interactive Physically-Based Modeling for Gaseous Object using Smoothed Particle Hydrodynamics
— This paper presents an interactive method of modelling the various kind of fluid based on Smoothed Particle Hydrodynamics (SPH) in modelling and simulating the gas flow with fr...
Suriyong Lertkulvanich, Sanan Srakaew
VLSID
2007
IEEE
130views VLSI» more  VLSID 2007»
16 years 3 months ago
Memory Architecture Exploration for Power-Efficient 2D-Discrete Wavelet Transform
The Discrete Wavelet Transform (DWT) forms the core of the JPEG2000 image compression algorithm. Since the JPEG2000 compression application is heavily data-intensive, the overall ...
Rahul Jain, Preeti Ranjan Panda