Search Sciweavers | Sciweavers

11909 search results - page 263 / 2382

» The Scheme Programming Language

117

click to vote

PLDI
2006
ACM

104views Programming Languages» more PLDI 2006»

Eventrons: a safe programming construct for high-frequency hard real-time applications

16 years 17 days ago

Download research.microsoft.com

Daniel Spoonhower, Joshua S. Auerbach, David F. Ba...

claim paper

Read More »

125

click to vote

ASPLOS
2004
ACM

79views Programming Languages» more ASPLOS 2004»

Application-level checkpointing for shared memory programs

16 years 1 days ago

Download iss.ices.utexas.edu

Greg Bronevetsky, Daniel Marques, Keshav Pingali, ...

claim paper

Read More »

130

click to vote

ICCL
1998
IEEE

120views Programming Languages» more ICCL 1998»

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs

15 years 11 months ago

Download www.comp.nus.edu.sg

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...

claim paper

Read More »

154

click to vote

PPDP
1999
Springer

127views Programming Languages» more PPDP 1999»

Functional Plus Logic Programming with Built-In and Symbolic Constraints

15 years 11 months ago

Download gpd.sip.ucm.es

Puri Arenas-Sánchez, Francisco Javier L&oac...

claim paper

Read More »

127

click to vote

IFIP
1994
Springer

121views Programming Languages» more IFIP 1994»

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers