Sciweavers

2863 search results - page 372 / 573
» Comparing Operating Systems Using Robustness Benchmarks
Sort
View
141
Voted
LFP
1992
140views more  LFP 1992»
15 years 4 months ago
Global Tagging Optimization by Type Inference
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
Fritz Henglein
126
Voted
ECAL
2007
Springer
15 years 10 months ago
Investigating the Emergence of Phenotypic Plasticity in Evolving Digital Organisms
Abstract. In the natural world, individual organisms can adapt as their environment changes. In most in silico evolution, however, individual organisms tend to consist of rigid sol...
Jeff Clune, Charles Ofria, Robert T. Pennock
140
Voted
ICSM
2005
IEEE
15 years 9 months ago
Dynamic Feature Traces: Finding Features in Unfamiliar Code
This paper introduces an automated technique for feature location: helping developers map features to relevant source code. Like several other automated feature location technique...
Andrew David Eisenberg, Kris De Volder
122
Voted
DSN
2004
IEEE
15 years 7 months ago
Efficient Byzantine-Tolerant Erasure-Coded Storage
This paper describes a decentralized consistency protocol for survivable storage that exploits local data versioning within each storage-node. Such versioning enables the protocol...
Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger,...
123
Voted
FLOPS
2004
Springer
15 years 9 months ago
Basic Pattern Matching Calculi: a Fresh View on Matching Failure
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
Wolfram Kahl