Sciweavers

2904 search results - page 198 / 581
» Number Forms in the Brain
Sort
View
ECOOP
1992
Springer
15 years 11 months ago
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
Svend Frølund
VLDB
1993
ACM
84views Database» more  VLDB 1993»
15 years 11 months ago
A New Presumed Commit Optimization for Two Phase Commit
Two phase commit (ZPC) ia used to coordinate the commitment of trunsactiom in distributed systems. The standard 2PC optimization is the presumed abort variant, which wea fewer mes...
Butler W. Lampson, David B. Lomet
ITS
1992
Springer
120views Multimedia» more  ITS 1992»
15 years 11 months ago
Distributed Learning Companion System: WEST Revisited
This paper describes a distributed learning system which consists of two connected computers so that students can learn in collaboration and/or competition at different locations. ...
Tak-Wai Chan, I-Ling Chung, Rong-Guey Ho, Wen-Juan...
ACIIDS
2009
IEEE
89views Database» more  ACIIDS 2009»
15 years 11 months ago
Improving Efficiency and Scalability of Service Network Graph by Re-routing Service Routes
Inter domain service routing is an element in the success of Next Generation Network. Service requests, such as the INVITE request in Session Initiation Protocol [21] may need to ...
David Lai, Zhongwei Zhang
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 11 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp