Sciweavers

2863 search results - page 372 / 573
» Comparing Operating Systems Using Robustness Benchmarks
Sort
View
LFP
1992
140views more  LFP 1992»
15 years 7 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
ECAL
2007
Springer
16 years 21 days 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
ICSM
2005
IEEE
16 years 3 days 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
DSN
2004
IEEE
15 years 10 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,...
FLOPS
2004
Springer
15 years 12 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