Sciweavers

13553 search results - page 159 / 2711
» A Generalized Multi-View Approach
Sort
View
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
15 years 8 months ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...
114
Voted
ICSM
2002
IEEE
15 years 8 months ago
Combining Software Quality Predictive Models: An Evolutionary Approach
During the past ten years, a large number of quality models have been proposed in the literature. In general, the goal of these models is to predict a quality factor starting from...
Salah Bouktif, Houari A. Sahraoui, Balázs K...
GECCO
2006
Springer
124views Optimization» more  GECCO 2006»
15 years 7 months ago
An efficient approach to unbounded bi-objective archives -: introducing the mak_tree algorithm
Given the prominence of elite archiving in contemporary multiobjective optimisation research and the limitations inherent in bounded population sizes, it is unusual that the vast ...
Adam Berry, Peter Vamplew
CORR
2007
Springer
129views Education» more  CORR 2007»
15 years 3 months ago
A Rank-Metric Approach to Error Control in Random Network Coding
It is shown that the error control problem in random network coding can be reformulated as a generalized decoding problem for rank-metric codes. This result allows many of the too...
Danilo Silva, Frank R. Kschischang, Ralf Koetter
GLVLSI
2006
IEEE
126views VLSI» more  GLVLSI 2006»
15 years 9 months ago
Hardware/software partitioning of operating systems: a behavioral synthesis approach
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...
Sathish Chandra, Francesco Regazzoni, Marcello Laj...