5550 search results - page 542 / 1110 » Different Approaches to Proof Systems |
217
click to vote
PDP
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Execution of applications on upcoming highperformance computing (HPC) systems introduces a variety of new challenges and amplifies many existing ones. These systems will...
211
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
As grid computation systems become larger and more complex, manually diagnosing failures in jobs becomes impractical. Recently, machine-learning techniques have been proposed to d...
219
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
204
click to vote
AE
2003
Springer
16 years 21 days ago
2003
Springer
The ideas proposed in this work are aimed to describe a novel approach based on artificial life (alife) environments for on-line adaptive optimisation of dynamical systems. The bas...
253
click to vote
CAISE
2003
Springer
16 years 20 days ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...