Sciweavers

6978 search results - page 300 / 1396
» On Proofs in System P
Sort
View
ISCAPDCS
2004
15 years 8 months ago
Decentralized and Hierarchical Discovery of Software Applications in the iShare Internet Sharing System
We present the design and evaluation of a fully decentralized software application discovery scheme
Xiaojuan Ren, Zhelong Pan, Rudolf Eigenmann, Y. Ch...
126
Voted
SRDS
1999
IEEE
15 years 11 months ago
Optimistic Recovery in Multi-threaded Distributed Systems
Om P. Damani, Ashis Tarafdar, Vijay K. Garg
SIGOPSE
1998
ACM
15 years 11 months ago
An asynchronous distributed systems platform for heterogeneous environments
Nigel Davies, Adrian Friday, Stephen P. Wade, Gord...
CDC
2008
IEEE
121views Control Systems» more  CDC 2008»
15 years 8 months ago
Path-by-path optimal control of switched and Markovian jump linear systems
Ji-Woong Lee, Geir E. Dullerud, Pramod P. Khargone...
CORR
2008
Springer
111views Education» more  CORR 2008»
15 years 6 months ago
New Sequences Design from Weil Representation with Low Two-Dimensional Correlation in Both Time and Phase Shifts
For a given prime p, a new construction of families of the complex valued sequences of period p with efficient implementation is given by applying both multiplicative characters a...
Zilong Wang, Guang Gong