Sciweavers

1501 search results - page 240 / 301
» New Directions on Agile Methods: A Comparative Analysis
Sort
View
EVOW
1999
Springer
15 years 2 months ago
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
ICCAD
1993
IEEE
139views Hardware» more  ICCAD 1993»
15 years 2 months ago
Hardware/software resolution of pipeline hazards in pipeline synthesis of instruction set processors
— One major problem in pipeline synthesis is the detection and resolution of pipeline hazards. In this paper we present a new solution to the problem in the domain of pipelined a...
Ing-Jer Huang, Alvin M. Despain
CLEF
2008
Springer
14 years 11 months ago
Overview of the ImageCLEFphoto 2008 Photographic Retrieval Task
ImageCLEFphoto 2008 is an ad-hoc photo retrieval task and part of the ImageCLEF evaluation campaign. This task provides both the resources and the framework necessary to perform c...
Thomas Arni, Paul Clough, Mark Sanderson, Michael ...
SDM
2008
SIAM
157views Data Mining» more  SDM 2008»
14 years 11 months ago
ROC-tree: A Novel Decision Tree Induction Algorithm Based on Receiver Operating Characteristics to Classify Gene Expression Data
Gene expression information from microarray experiments is a primary form of data for biological analysis and can offer insights into disease processes and cellular behaviour. Suc...
M. Maruf Hossain, Md. Rafiul Hassan, James Bailey
BNT
1997
14 years 11 months ago
Packets or ports: the decisions of IP switching
One of the most important network elements in the Internet are the routers which do relaying of IP packets. Because of growth of the Internet routers currently experience serious ...
Mika Ilvesmäki, Kalevi Kilkki, Marko Luoma