Search Sciweavers | Sciweavers

8132 search results - page 73 / 1627

» Dependability, Abstraction, and Programming

click to vote

PLDI
2011
ACM

188views Programming Languages» more PLDI 2011»

Data representation synthesis

14 years 24 days 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 »

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 3 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 »

click to vote

ER
2009
Springer

96views Database» more ER 2009»

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

15 years 4 months ago