9325 search results - page 319 / 1865 » The decentralized implementability problem |
109
click to vote
SIGCSE
2002
ACM
15 years 4 months ago
2002
ACM
This paper discusses differences in the semantics of various semaphore implementations and their ramifications in developing solutions to synchronization problems. An approach is ...
142
click to vote
PC
2010
15 years 2 months ago
2010
The graphics processing unit (GPU) is used to solve large linear systems derived from partial differential equations. The differential equations studied are strongly convection-...
134
click to vote
SSS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper considers message-driven self-stabilizing implementations of unreliable failure detectors. We show that it is impossible to give a deterministic implementation...
148
click to vote
CP
2000
Springer
15 years 8 months ago
2000
Springer
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the proble...
107
click to vote
ICALT
2005
IEEE
15 years 10 months ago
2005
IEEE
Using cases for teaching and learning has received growing attention in teacher training programs. This project intends to build a web forum for student teachers to discuss their ...