Sciweavers

3547 search results - page 498 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
PEPM
2004
ACM
15 years 12 months ago
Dynamic slicing based on redex trails
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
Claudio Ochoa, Josep Silva, Germán Vidal
SOFSEM
2004
Springer
15 years 12 months ago
Flexibility through Multiagent Systems: Solution or Illusion?
Multiagent software systems are known to exhibit a system-level behavior that rarely can be predicted from the description of individual agents but must be observed in simulation o...
Peter C. Lockemann, Jens Nimis
CGO
2003
IEEE
15 years 12 months ago
Code Optimization for Code Compression
With the emergence of software delivery platforms such as Microsoft’s .NET, reduced size of transmitted binaries has become a very important system parameter strongly affecting ...
Milenko Drinic, Darko Kirovski, Hoi Vo
CODES
2003
IEEE
15 years 12 months ago
Early estimation of the size of VHDL projects
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...
William Fornaciari, Fabio Salice, Daniele Paolo Sc...
CODES
2003
IEEE
15 years 12 months ago
A fast parallel reed-solomon decoder on a reconfigurable architecture
This paper presents a software implementation of a very fast parallel Reed-Solomon decoder on the second generation of MorphoSys reconfigurable computation platform, which is targ...
Arezou Koohi, Nader Bagherzadeh, Chengzi Pan