Sciweavers

509 search results - page 83 / 102
» Preserving Properties Under Change
Sort
View
INFOCOM
2006
IEEE
14 years 2 months ago
Formal Analysis of Passive Measurement Inference Techniques
Abstract— Verifying the accuracy of a passive measurementsbased inference technique under all possible network scenarios is a difficult challenge - the measurement point has lim...
Sharad Jaiswal, Gianluca Iannaccone, James F. Kuro...
SRDS
2005
IEEE
14 years 2 months ago
Database Replication Using Generalized Snapshot Isolation
Generalized snapshot isolation extends snapshot isolation as used in Oracle and other databases in a manner suitable for replicated databases. While (conventional) snapshot isolat...
Sameh Elnikety, Willy Zwaenepoel, Fernando Pedone
GECCO
2005
Springer
112views Optimization» more  GECCO 2005»
14 years 2 months ago
Towards an empirical measure of evolvability
Genetic representations that do not employ a one-to-one mapping of genotype to phenotype are known as indirect encodings, and can be much more efficient than direct encodings for ...
Joseph Reisinger, Kenneth O. Stanley, Risto Miikku...
IPMI
2005
Springer
14 years 2 months ago
Diffeomorphic Nonlinear Transformations: A Local Parametric Approach for Image Registration
Many types of transformations are used to model deformations in medical image registration. While some focus on modeling local changes, some on continuity and invertibility, there ...
Ramkrishnan Narayanan, Jeffrey A. Fessler, Hyunjin...
RTSS
2003
IEEE
14 years 1 months ago
Quick-release Fair Scheduling
In prior work on multiprocessor fairness, efficient techniques with provable properties for reallocating spare processing capacity have been elusive. In this paper, we address thi...
James H. Anderson, Aaron Block, Anand Srinivasan