Sciweavers

10666 search results - page 102 / 2134

» Quantum programming languages

95

Voted

FP
1992

105views Formal Methods» more FP 1992»

Hazard Algebra and the Design of Asynchronous Automata

15 years 7 months ago

Hazard Algebra and the Design of Asynchronous Automata

Download research.microsoft.com

Erik Meijer

claim paper

Read More »

120

Voted

PLDI
1994
ACM

100views Programming Languages» more PLDI 1994»

Partial Dead Code Elimination

15 years 7 months ago

Partial Dead Code Elimination

Download www.st.informatik.tu-darmstadt.de

Jens Knoop, Oliver Rüthing, Bernhard Steffen

claim paper

Read More »

104

Voted

PLDI
1994
ACM

94views Programming Languages» more PLDI 1994»

Counting Solutions to Presburger Formulas: How and Why

15 years 7 months ago

Counting Solutions to Presburger Formulas: How and Why

Download www.lib.umd.edu

William Pugh

claim paper

Read More »

109

Voted

PLDI
1994
ACM

72views Programming Languages» more PLDI 1994»

Link-Time Optimization of Address Calculation on a 64-bit Architecture

15 years 7 months ago

Link-Time Optimization of Address Calculation on a 64-bit Architecture

Download www.hpl.hp.com

Amitabh Srivastava, David W. Wall

claim paper

Read More »

101

Voted

PLSA
1994

122views Programming Languages» more PLSA 1994»

Interconnecting Computers: Architecture, Technology, and Economics

15 years 7 months ago

Interconnecting Computers: Architecture, Technology, and Economics

Download research.microsoft.com

Butler W. Lampson

claim paper

Read More »

« Prev « First page 102 / 2134 Last » Next »