Search Sciweavers | Sciweavers

8008 search results - page 20 / 1602

» Computer-Aided Language Processing

click to vote

ICALP
1997
Springer

84views Programming Languages» more ICALP 1997»

Bisimulation Equivalence is Decidable for One-Counter Processes

15 years 3 months ago

Download www.fi.muni.cz

Petr Jancar

claim paper

Read More »

Voted

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

15 years 3 months ago

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

click to vote

IFIP
1993
Springer

81views Programming Languages» more IFIP 1993»

Evaluation and Derivation of Process Plans in Turning

15 years 3 months ago

Download deepblue.lib.umich.edu

Azza F. Barakat, Debasish Dutta

claim paper

Read More »

click to vote

IWOMP
2010
Springer

124views Programming Languages» more IWOMP 2010»

Topology-Aware OpenMP Process Scheduling

15 years 3 months ago

Download www.ccs.tsukuba.ac.jp

Peter Thoman, Hans Moritsch, Thomas Fahringer

claim paper

Read More »

click to vote

HASKELL
2007
ACM

110views Programming Languages» more HASKELL 2007»

Uniform boilerplate and list processing

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers