2642 search results - page 66 / 529 » Merge-by-Wire: Algorithms and System Support |
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
The effective management of a supply chain requires performance measures that accurately represent the underlying structure of the supply chain. Measures such as delivery performa...
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
— A generalized kinematic modeling framework, called Mechanism_Model, has been developed for use in the CLARAty robotic reusable software. Mechanism_Model supports a wide range o...
ICDM
2003
IEEE
15 years 6 months ago
2003
IEEE
The Support Vector Machine (SVM) solution corresponds to the centre of the largest sphere inscribed in version space. Alternative approaches like Bayesian Point Machines (BPM) and...
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose in this paper an algorithm for off-line selection of the contents of on-chip memories. The algorithm supports two types of on-chip memories, namely locked caches and sc...
101
click to vote
FSTTCS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...