Sciweavers

116 search results - page 15 / 24
» Complexity Reduction Using Expansive Coding
Sort
View
CODES
2006
IEEE
15 years 3 months ago
A buffer-sizing algorithm for networks on chip using TDMA and credit-based end-to-end flow control
When designing a System-on-Chip (SoC) using a Networkon-Chip (NoC), silicon area and power consumption are two key elements to optimize. A dominant part of the NoC area and power ...
Martijn Coenen, Srinivasan Murali, Andrei Radulesc...
ICIP
2008
IEEE
15 years 11 months ago
Modulo-PCM based encoding for high speed video cameras
In this paper, we present a low complexity Modulo-PCM based coding algorithm for high speed video cameras used in applications that demand very high frame rates. By compressing th...
Josep Prades-Nebot, Antoni Roca, Edward J. Delp
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
15 years 3 months ago
Type Inference Against Races
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
Cormac Flanagan, Stephen N. Freund
BMCBI
2011
14 years 4 months ago
Multithreaded comparative RNA secondary structure prediction using stochastic context-free grammars
Background: The prediction of the structure of large RNAs remains a particular challenge in bioinformatics, due to the computational complexity and low levels of accuracy of state...
Zsuzsanna Sukosd, Bjarne Knudsen, Morten Vaerum, J...
EXPCS
2007
15 years 1 months ago
Rapid file system development using ptrace
Developing kernel-level file systems is a difficult task that requires a significant time investment. For experimental file systems, it is desirable to develop a prototype before ...
Richard P. Spillane, Charles P. Wright, Gopalan Si...