Sciweavers

2143 search results - page 38 / 429

» corr 2010

79

CORR
2010
Springer

43views Education» more CORR 2010»

Effective Capacity and Randomness of Closed Sets

14 years 11 months ago

Effective Capacity and Randomness of Closed Sets

Download www.math.ufl.edu

Douglas Cenzer, Paul Brodhead

claim paper

Read More »

40

CORR
2010
Springer

68views Education» more CORR 2010»

Position Modulation Code for Rewriting Write-Once Memories

14 years 11 months ago

Position Modulation Code for Rewriting Write-Once Memories

Download faculty.cs.tamu.edu

Yunnan Wu, Anxiao Jiang

claim paper

Read More »

49

Voted

CORR
2010
Springer

76views Education» more CORR 2010»

A framework for designing concurrent and recoverable abstract data types based on commutativity

14 years 11 months ago

A framework for designing concurrent and recoverable abstract data types based on commutativity

Download hal.archives-ouvertes.fr

Carmelo Malta, José Martinez

claim paper

Read More »

37

Voted

CORR
2010
Springer

48views Education» more CORR 2010»

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

14 years 10 months ago

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

Download www.logic.at

Bernhard Gramlich, Felix Schernhammer

claim paper

Read More »

63

Voted

CORR
2010
Springer

61views Education» more CORR 2010»

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

14 years 10 months ago

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

Download www.cs.ioc.ee

Luis Pinto, Tarmo Uustalu

claim paper

Read More »

« Prev « First page 38 / 429 Last » Next »