Sciweavers

7262 search results - page 264 / 1453
» Reversible Computer Hardware
Sort
View
ISSADS
2005
Springer
15 years 8 months ago
Implementing Distributed Mutual Exclusion on Multithreaded Environments: The Alien-Threads Approach
We present a simple implementation of a token-based distributed mutual exclusion algorithm for multithreaded systems. Several per-node requests could be issued by threads running ...
Federico Meza, Jorge Pérez R., Yadran Etero...
GECCO
2004
Springer
234views Optimization» more  GECCO 2004»
15 years 8 months ago
A Generic Network Design for a Closed-Loop Supply Chain Using Genetic Algorithm
Recently much research has focused on both the supply chain and reverse logistics network design problem. The rapid progress in computer and network technology and the increasingly...
Eoksu Sim, Sungwon Jung, Haejoong Kim, Jinwoo Park
SCVMA
2004
Springer
15 years 8 months ago
On the Relationship Between Image and Motion Segmentation
Abstract. In this paper we present a generative model for image sequences, which can be applied to motion segmentation and tracking, and to image sequence compression. The model co...
Adrian Barbu, Song Chun Zhu
INDOCRYPT
2003
Springer
15 years 8 months ago
Practical Mental Poker Without a TTP Based on Homomorphic Encryption
A solution for obtaining impartial random values in on-line gambling is presented in this paper. Unlike most previous proposals, our method does not require any TTP and allows e-ga...
Jordi Castellà-Roca, Josep Domingo-Ferrer, ...
BIRTHDAY
2000
Springer
15 years 7 months ago
Bistructures, bidomains, and linear logic
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Wins...