Sciweavers

4725 search results - page 207 / 945
» Dependence-Based Program Analysis
Sort
View
ICDCS
2010
IEEE
15 years 6 months ago
Complexity Analysis of Weak Multitolerance
—In this paper, we classify multitolerant systems, i.e., systems that tolerate multiple classes of faults and provide potentially different levels of tolerance to them in terms o...
Jingshu Chen, Sandeep Kulkarni
137
Voted
VMCAI
2009
Springer
16 years 28 days ago
Mostly-Functional Behavior in Java Programs
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
William C. Benton, Charles N. Fischer
PASTE
2004
ACM
15 years 11 months ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
143
Voted
VL
2002
IEEE
104views Visual Languages» more  VL 2002»
15 years 11 months ago
First Steps in Programming: A Rationale for Attention Investment Models
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
Alan F. Blackwell
GECCO
2009
Springer
107views Optimization» more  GECCO 2009»
15 years 10 months ago
Evolving distributed algorithms with genetic programming: election
In this paper, we present a detailed analysis of the application of Genetic Programming to the evolution of distributed algorithms. This research field has many facets which make...
Thomas Weise, Michael Zapf