Sciweavers

2181 search results - page 328 / 437
» The restriction scaffold problem
Sort
View
PEPM
1992
ACM
14 years 27 days ago
Self-applicable C Program Specialization
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
Lars Ole Andersen
ESE
1990
128views Database» more  ESE 1990»
14 years 27 days ago
Characterizing Diagnoses
Most approaches to model-based diagnosis describe a diagnosis for a system as a set of failing components that explains the symptoms. In order to characterize the typically very l...
Johan de Kleer, Alan K. Mackworth, Raymond Reiter
APPT
2009
Springer
14 years 26 days ago
Dealing with Traffic-Area Trade-Off in Direct Coherence Protocols for Many-Core CMPs
Abstract. In many-core CMP architectures, the cache coherence protocol is a key component since it can add requirements of area and power consumption to the final design and, there...
Alberto Ros, Manuel E. Acacio, José M. Garc...
AMOST
2007
ACM
14 years 26 days ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
CEC
2007
IEEE
14 years 25 days ago
Three-dimensional offline path planning for UAVs using multiobjective evolutionary algorithms
In this paper, we present 3D offline path planner for Unmanned Aerial Vehicles (UAVs) using Multiobjective Evolutionary Algorithms for finding solutions corresponding to conflictin...
Shashi Mittal, Kalyanmoy Deb