Sciweavers

2205 search results - page 63 / 441
» Mutation Operators for Specifications
Sort
View
CSREAESA
2006
13 years 10 months ago
Energy Optimization for Application-Specific NOC with Multi-Mode Switches
As the number of cores on a chip increases, power consumed by the communication structures takes significant portion of the overall power-budget. As technology scales to deep sub-...
Kuei-Chung Chang
SERP
2004
13 years 10 months ago
Software Specification of MERTIS: Modifiable Extensible Real-Time Interactive Simulation System
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
Frederick C. Harris Jr., Leandro Basallo, Ryan E. ...
IJCAI
2001
13 years 10 months ago
Causal interaction: from a high-level representation to an operational event-based representation
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
Irène Grosclaude, Marie-Odile Cordier, Rene...
NC
1998
138views Neural Networks» more  NC 1998»
13 years 10 months ago
Parallel Adaptive Genetic Algorithm
In this paper we introduce an efficient implementation of asynchronously parallel genetic algorithm with adaptive genetic operators. The classic genetic algorithm paradigm is exte...
Leo Budin, Marin Golub, Domagoj Jakobovic
ASPLOS
2012
ACM
12 years 4 months ago
Scalable address spaces using RCU balanced trees
Software developers commonly exploit multicore processors by building multithreaded software in which all threads of an application share a single address space. This shared addre...
Austin T. Clements, M. Frans Kaashoek, Nickolai Ze...