Sciweavers

5962 search results - page 396 / 1193
» Working with Patterns and Code
Sort
View
ISVLSI
2007
IEEE
181views VLSI» more  ISVLSI 2007»
16 years 21 days ago
Code-coverage Based Test Vector Generation for SystemC Designs
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
Alair Dias Jr., Diógenes Cecilio da Silva J...
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
16 years 18 days ago
Safety Guarantees from Explicit Resource Management
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
David Aspinall, Patrick Maier, Ian Stark
177
Voted
ICMCS
2006
IEEE
144views Multimedia» more  ICMCS 2006»
16 years 14 days ago
A New Quantization for Rate Control with Frame Variation Consideration
— The main role of rate control in video coding is to handle a trade-off between a bandwidth limit and a video quality. In the low-delay video communication systems, its responsi...
Seonki Kim, Seong-Jae Lim
IWMM
2004
Springer
101views Hardware» more  IWMM 2004»
15 years 11 months ago
Exploring the barrier to entry: incremental generational garbage collection for Haskell
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
Andrew M. Cheadle, A. J. Field, Simon Marlow, Simo...
DCC
2000
IEEE
15 years 11 months ago
Trees, Windows, and Tiles for Wavelet Image Compression
We investigate the task of compressing an image by using different probability models for compressing different regions of the image. In an earlier paper, we introduced a class of...
Wee Sun Lee