Sciweavers

EUROPAR
2007
Springer
13 years 11 months ago
Compositional Approach Applied to Loop Specialization
An optimizing compiler has a hard time to generate a code which will perform at top speed for an arbitrary data set size. In general, the low level optimization process must take i...
Lamia Djoudi, Jean-Thomas Acquaviva, Denis Barthou
DCOSS
2007
Springer
13 years 11 months ago
A Compilation Framework for Macroprogramming Networked Sensors
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
Animesh Pathak, Luca Mottola, Amol Bakshi, Viktor ...
CIE
2007
Springer
13 years 11 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
KBSE
2007
IEEE
13 years 11 months ago
CodeGenie: using test-cases to search and reuse source code
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on large-scale code repositories. While using CodeGenie developers design...
Otávio Augusto Lazzarini Lemos, Sushil Kris...
ICC
2007
IEEE
110views Communications» more  ICC 2007»
13 years 11 months ago
Quadratic-Congruence Carrier-Hopping Prime Code for Multicode-Keying Optical CDMA
—In this paper, we study a new family of carrier-hopping prime codes (CHPCs), so-called quadraticcongruence CHPC (QC-CHPC), with expanded code cardinality by relaxing the maximum...
Wing C. Kwong, Cheng-Yuan Chang, Hung-Ta Chen, Guu...
GLOBECOM
2007
IEEE
13 years 11 months ago
Performance of a Structured IRA Code on a Perpendicular Recording Channel with Media Noise
Abstract—We examine the performance of a rate-0.9 structured irregular repeat-accumulate (S-IRA) code on a perpendicular magnetic recording (PMR) channel with media noise. To acc...
Yang Han, William E. Ryan
SCAM
2008
IEEE
13 years 11 months ago
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
Nuno F. Rodrigues, Luís Soares Barbosa
KBSE
2008
IEEE
13 years 11 months ago
Rhizome: A Feature Modeling and Generation Platform
Rhizome is an end-to-end feature modeling and code generation platform that includes a feature modeling language (FeatureML), a template language (MarkerML) and a template-based c...
Guozheng Ge, E. James Whitehead Jr.
MSR
2009
ACM
13 years 11 months ago
Code siblings: Technical and legal implications of copying code between applications
Source code cloning does not happen within a single system only. It can also occur between one system and another. We use the term code sibling to refer to a code clone that evolv...
Daniel M. Germán, Massimiliano Di Penta, Ya...
ERLANG
2009
ACM
13 years 11 months ago
Cleaning up Erlang code is a dirty job but somebody's gotta do it
This paper describes opportunities for automatically modernizing Erlang applications, cleaning them up, eliminating certain bad smells from their code and occasionally also improv...
Thanassis Avgerinos, Konstantinos F. Sagonas