Sciweavers

CORR
2006
Springer
116views Education» more  CORR 2006»
13 years 11 months ago
Memory Aware High-Level Synthesis for Embedded Systems
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
Gwenolé Corre, Eric Senn, Nathalie Julien, ...
CORR
2006
Springer
112views Education» more  CORR 2006»
13 years 11 months ago
High-level synthesis under I/O Timing and Memory constraints
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
Philippe Coussy, Gwenolé Corre, Pierre Bome...
CORR
2006
Springer
105views Education» more  CORR 2006»
13 years 11 months ago
Capacity Results for Block-Stationary Gaussian Fading Channels with a Peak Power Constraint
Abstract--A peak-power-limited single-antenna block-stationary Gaussian fading channel is studied, where neither the transmitter nor the receiver knows the channel state informatio...
Jun Chen, Venugopal V. Veeravalli
CORR
2006
Springer
143views Education» more  CORR 2006»
13 years 11 months ago
Efficient Route Tracing from a Single Source
Traceroute is a networking tool that allows one to discover the path that packets take from a source machine, through the network, to a destination machine. It is widely used as a...
Benoit Donnet, Philippe Raoult, Timur Friedman
CORR
2006
Springer
73views Education» more  CORR 2006»
13 years 11 months ago
Stable partitions in coalitional games
We propose a notion of a stable partition in a coalitional game that is parametrized by the concept of a defection function. This function assigns to each partition of the grand c...
Krzysztof R. Apt, Tadeusz Radzik
CORR
2006
Springer
100views Education» more  CORR 2006»
13 years 11 months ago
Error Exponents of Low-Density Parity-Check Codes on the Binary Erasure Channel
-- We introduce a thermodynamic (large deviation) formalism for computing error exponents in error-correcting codes. Within this framework, we apply the heuristic cavity method fro...
Thierry Mora, Olivier Rivoire
CORR
2006
Springer
120views Education» more  CORR 2006»
13 years 11 months ago
Logic Column 15: Coalgebras and Their Logics
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...
Alexander Kurz
CORR
2006
Springer
173views Education» more  CORR 2006»
13 years 11 months ago
Analyzing Large Collections of Electronic Text Using OLAP
Computer-assisted reading and analysis of text has applications in the humanities and social sciences. Ever-larger electronic text archives have the advantage of allowing a more c...
Steven Keith, Owen Kaser, Daniel Lemire
CORR
2006
Springer
103views Education» more  CORR 2006»
13 years 11 months ago
Semantics and Complexity of SPARQL
Jorge Pérez, Marcelo Arenas, Claudio Gutier...
CORR
2006
Springer
135views Education» more  CORR 2006»
13 years 11 months ago
Classification of Ordinal Data
Many real life problems require the classification of items into naturally ordered classes. These problems are traditionally handled by conventional methods intended for the class...
Jaime S. Cardoso