Search Sciweavers | Sciweavers

3404 search results - page 59 / 681

» C Programming Tutorial

click to vote

IPPS
2009
IEEE

208views Distributed And Parallel Com...» more IPPS 2009»

Implementing OpenMP on a high performance embedded multicore MPSoC

15 years 4 months ago

Download www2.cs.uh.edu

In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems. A high-level programming model...

Barbara M. Chapman, Lei Huang, Eric Biscondi, Eric...

claim paper

Read More »

click to vote

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

15 years 1 months ago

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

click to vote

EWC
2008

73views more EWC 2008»

Generic programming techniques for parallelizing and extending procedural finite element programs

14 years 9 months ago

Download www-g.eng.cam.ac.uk

Fehmi Cirak, Julian C. Cummings

claim paper

Read More »

click to vote

CORR
2010
Springer

56views Education» more CORR 2010»

Reflection and Hyper-Programming in Persistent Programming Systems

14 years 9 months ago

Download www.cs.st-andrews.ac.uk

Graham N. C. Kirby

claim paper

Read More »

126

click to vote

ICSE
2007
IEEE-ACM

168views Software Engineering» more ICSE 2007»

ACL2s: "The ACL2 Sedan"

15 years 3 months ago

Download www.ccs.neu.edu

ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a ﬁnely tuned race ...

Peter C. Dillinger, Panagiotis Manolios, Daron Vro...

claim paper

Read More »

« Prev « First page 59 / 681 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers