Sciweavers

2066 search results - page 287 / 414
» Early performance testing of distributed software applicatio...
Sort
View
AAECC
2001
Springer
132views Algorithms» more  AAECC 2001»
15 years 2 months ago
Duality and Greedy Weights of Linear Codes and Projective Multisets
A projective multiset is a collection of projective points, which are not necessarily distinct. A linear code can be represented as a projective multiset, by taking the columns of ...
Hans Georg Schaathun
GCC
2007
Springer
15 years 4 months ago
Image Filtering on .NET-based Desktop Grids
Image filtering is the use of computer graphics algorithms to enhance the quality of digital images or to extract information about their content. However rendering very large siz...
Christian Vecchiola, Krishna Nadiminti, Rajkumar B...
ATAL
2008
Springer
14 years 12 months ago
Pan-supplier stock control in a virtual warehouse
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
Emad El-Deen El-Akehal, Julian A. Padget
SIGSOFT
2007
ACM
15 years 10 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 2 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel