Search Sciweavers | Sciweavers

4743 search results - page 84 / 949

» The PlusCal Algorithm Language

click to vote

VLDB
2001
ACM

85views Database» more VLDB 2001»

Declarative Data Cleaning: Language, Model, and Algorithms

15 years 8 months ago

Download taxondata.org

Helena Galhardas, Daniela Florescu, Dennis Shasha,...

claim paper

Read More »

112

click to vote

STOC
2005
ACM

85views Algorithms» more STOC 2005»

Tree-walking automata do not recognize all regular languages

16 years 4 months ago

Download www.liafa.jussieu.fr

Mikolaj Bojanczyk, Thomas Colcombet

claim paper

Read More »

107

click to vote

ASIAN
2007
Springer

114views Algorithms» more ASIAN 2007»

Compiling C Programs into a Strongly Typed Assembly Language

15 years 10 months ago

Download www.qatar.cmu.edu

Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezaw...

claim paper

Read More »

145

click to vote

SCESM
2006
ACM

211views Algorithms» more SCESM 2006»

A schema language for coordinating construction and composition of partial behavior descriptions

15 years 10 months ago

Download research.microsoft.com

Wolfgang Grieskamp, Nicolas Kicillof

claim paper

Read More »

101

click to vote

TACAS
2005
Springer

105views Algorithms» more TACAS 2005»

Using Language Inference to Verify Omega-Regular Properties

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers