Sciweavers

5964 search results - page 54 / 1193

» A theory of speculative computation

141

CONCUR
1992
Springer

66views Distributed And Parallel Com...» more CONCUR 1992»

Towards a Theory of Actor Computation

15 years 10 months ago

Towards a Theory of Actor Computation

Download osl.cs.uiuc.edu

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L....

claim paper

Read More »

115

CIE
2007
Springer

89views Applied Computing» more CIE 2007»

Index Sets of Computable Structures with Decidable Theories

16 years 10 days ago

Index Sets of Computable Structures with Decidable Theories

Download a-server.math.nsc.ru

Ekaterina B. Fokina

claim paper

Read More »

106

CIE
2005
Springer

69views Applied Computing» more CIE 2005»

Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory

15 years 11 months ago

Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory

Download www.ims.nus.edu.sg

Denis R. Hirschfeldt

claim paper

Read More »

135

Voted

WDAG
2001
Springer

122views Algorithms» more WDAG 2001»

Computation Slicing: Techniques and Theory

15 years 10 months ago

Computation Slicing: Techniques and Theory

Download www.utdallas.edu

We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...

Neeraj Mittal, Vijay K. Garg

claim paper

Read More »

191

EC
1998

112views ECommerce» more EC 1998»

DNA Computation: Theory, Practice, and Prospects

15 years 5 months ago

DNA Computation: Theory, Practice, and Prospects

Download mitpress.mit.edu

L. M. Adleman launched the ﬁeld of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...

Carlo C. Maley

claim paper

Read More »

« Prev « First page 54 / 1193 Last » Next »