Sciweavers

314 search results - page 31 / 63
» Heuristics in Conflict Resolution
Sort
View
JOT
2008
92views more  JOT 2008»
14 years 9 months ago
A Matching Approach for Object-Oriented Formal Specifications
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Al...
SEMWEB
2010
Springer
14 years 7 months ago
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
Carlos Viegas Damásio, José Jú...
DATE
2008
IEEE
139views Hardware» more  DATE 2008»
15 years 4 months ago
Scan Chain Organization for Embedded Diagnosis
Keeping diagnostic resolution as high as possible while maximizing the compaction ratio is subject to research since the advent of embedded test. In this paper, we present a novel...
Melanie Elm, Hans-Joachim Wunderlich
PPOPP
2009
ACM
15 years 10 months ago
A comprehensive strategy for contention management in software transactional memory
In Software Transactional Memory (STM), contention management refers to the mechanisms used to ensure forward progress-to avoid livelock and starvation, and to promote throughput ...
Michael F. Spear, Luke Dalessandro, Virendra J. Ma...
GECCO
2007
Springer
178views Optimization» more  GECCO 2007»
15 years 3 months ago
Analyzing heuristic performance with response surface models: prediction, optimization and robustness
This research uses a Design of Experiments (DOE) approach to build a predictive model of the performance of a combinatorial optimization heuristic over a range of heuristic tuning...
Enda Ridge, Daniel Kudenko