Search Sciweavers | Sciweavers

8132 search results - page 73 / 1627

» Dependability, Abstraction, and Programming

175

click to vote

PLDI
2011
ACM

188views Programming Languages» more PLDI 2011»

Data representation synthesis

14 years 9 months ago

Download theory.stanford.edu

We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...

claim paper

Read More »

148

click to vote

HIPC
2005
Springer

87views Distributed And Parallel Com...» more HIPC 2005»

Mobile Pipelines: Parallelizing Left-Looking Algorithms Using Navigational Programming

15 years 11 months ago

Download www.ics.uci.edu

Abstract. Parallelizing a sequential algorithm—i.e., manually or automatically converting it into an equivalent parallel distributed algorithm—is an important problem. Ideally,...

Lei Pan, Ming Kin Lai, Michael B. Dillencourt, Lub...

claim paper

Read More »

119

click to vote

ER
2009
Springer

96views Database» more ER 2009»

Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations

16 years 25 days ago