Sciweavers

553 search results - page 64 / 111
» Quality Improvement in Annotated Code
Sort
View
ICST
2008
IEEE
14 years 4 months ago
A JML Compiler Based on AspectJ
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
Henrique Rebêlo, Ricardo Massa Ferreira Lima...
ICC
2007
IEEE
14 years 4 months ago
TCP Performance of MC-CDMA Systems with Partial Equalization in Correlated Fading Channels
— This paper addresses the performance evaluation of multi-carrier code division multiple access systems both at physical and TCP levels. A partial equalization technique improvi...
Giacomo Leonardi, Barbara M. Masini, Alessandro Ba...
ICEIS
2002
IEEE
14 years 3 months ago
Thin Servers - An Architecture to Support Arbitrary Placement of Computation in the Internet
: The Internet is experiencing an overwhelming growth that will have a negative impact on its performance and quality of service. In this paper we describe a new architecture that ...
Juan Carlos Diaz y Carballo, Alan Dearle, Richard ...
ISSS
1996
IEEE
103views Hardware» more  ISSS 1996»
14 years 2 months ago
Instruction Set Design and Optimizations for Address Computation in DSP Architectures
In this paper we investigate the problem of code generation for address computation for DSP processors. This work is divided into four parts. First, we propose a branch instructio...
Guido Araujo, Ashok Sudarsanam, Sharad Malik
ASPDAC
2001
ACM
137views Hardware» more  ASPDAC 2001»
14 years 1 months ago
Optimized address assignment for DSPs with SIMD memory accesses
This paper deals with address assignment in code generation for digital signal processors (DSPs) with SIMD (single instruction multiple data) memory accesses. In these processors ...
Markus Lorenz, David Koffmann, Steven Bashford, Ra...