Sciweavers

502 search results - page 53 / 101
» Test pattern generation based on arithmetic operations
Sort
View
SODA
2003
ACM
131views Algorithms» more  SODA 2003»
15 years 4 months ago
Root comparison techniques applied to computing the additively weighted Voronoi diagram
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
Menelaos I. Karavelas, Ioannis Z. Emiris
ISDA
2009
IEEE
15 years 10 months ago
A Genetic Programming-Based Algorithm for Composing Web Services
—Web Services are interfaces that describe a collection of operations that are network-accessible through standardized web protocols. When a required operation is not found, seve...
Manuel Mucientes, Manuel Lama, Miguel I. Couto
128
Voted
ISSTA
2010
ACM
15 years 7 months ago
Testing system virtual machines
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
Lorenzo Martignoni, Roberto Paleari, Giampaolo Fre...
124
Voted
CCS
2004
ACM
15 years 9 months ago
Testing network-based intrusion detection signatures using mutant exploits
Misuse-based intrusion detection systems rely on models of attacks to identify the manifestation of intrusive behavior. Therefore, the ability of these systems to reliably detect ...
Giovanni Vigna, William K. Robertson, Davide Balza...
141
Voted
ICASSP
2010
IEEE
15 years 3 months ago
Near-field adaptive beamforming and source localization in the spacetime frequency domain
We revisit the topics of near-field adaptive beamforming and source localization following an alternative approach based on a spatiotemporal spectral representation of the acoust...
Francisco Pinto, Martin Vetterli