Search Sciweavers | Sciweavers

3441 search results - page 13 / 689

» Parallel Logic Programming Systems

click to vote

EUROPAR
2004
Springer

93views Distributed And Parallel Com...» more EUROPAR 2004»

Designing Parallel Operating Systems via Parallel Programming

14 years 23 days ago

Download hpc.pnl.gov

Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...

Eitan Frachtenberg, Kei Davis, Fabrizio Petrini, J...

claim paper

Read More »

click to vote

PDCAT
2009
Springer

141views Distributed And Parallel Com...» more PDCAT 2009»

A Coordination Language for Programming Embedded Multi-Core Systems

14 years 1 months ago

Download www.first.fraunhofer.de

Tobias Schuele

claim paper

Read More »

click to vote

ECOOPW
1999
Springer

76views Distributed And Parallel Com...» more ECOOPW 1999»

Aspect-Oriented Programming in BETA Using the Fragment System

13 years 11 months ago

Download trese.cs.utwente.nl

Jørgen Lindskov Knudsen

claim paper

Read More »

click to vote

PDSE
1998

105views more PDSE 1998»

A Case-Based Parallel Programming System

13 years 8 months ago

Download www.cs.uiuc.edu

This paper describes how to reduce the burden of parallel programming by utilizing relevant parallel programs. Parallel algorithms are divided into four classes and a case base fo...

Katsuhiro Yamazaki, Shoichi Ando

claim paper

Read More »

click to vote

JFLP
2002

84views more JFLP 2002»

Subject Reduction of Logic Programs as Proof-Theoretic Property

13 years 7 months ago

Download scholar.lib.vt.edu

We consider prescriptive type systems for logic programs (as in G

Pierre Deransart, Jan-Georg Smaus

claim paper