Sciweavers

2652 search results - page 6 / 531

» Privacy-preserving linear programming

111

IFIP
1994
Springer

85views Programming Languages» more IFIP 1994»

Linear-Time Algorithms in Memory Hierarchies

15 years 10 months ago

Linear-Time Algorithms in Memory Hierarchies

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

118

Voted

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

Linear Speed-Up, Information Vicinity, and Finite-State Machines

15 years 10 months ago

Linear Speed-Up, Information Vicinity, and Finite-State Machines

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

133

Voted

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

15 years 9 months ago

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

95

ICALP
2010
Springer

135views Programming Languages» more ICALP 2010»

Linear Orders in the Pushdown Hierarchy

15 years 9 months ago

Linear Orders in the Pushdown Hierarchy

Download igm.univ-mlv.fr

Laurent Braud, Arnaud Carayol

claim paper

Read More »

126

Voted

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

15 years 6 months ago

Relational Parametricity for a Polymorphic Linear Lambda Calculus

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

« Prev « First page 6 / 531 Last » Next »