Search Sciweavers | Sciweavers

31387 search results - page 195 / 6278

» Abstracting abstract machines

107

click to vote

GPCE
2005
Springer

75views Programming Languages» more GPCE 2005»

Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code

16 years 3 days ago

Download okmij.org

Jacques Carette, Oleg Kiselyov

claim paper

Read More »

109

click to vote

GPCE
2005
Springer

80views Programming Languages» more GPCE 2005»

Syntactic Abstraction in Component Interfaces

16 years 3 days ago

Download www.ccs.neu.edu

Ryan Culpepper, Scott Owens, Matthew Flatt

claim paper

Read More »

145

click to vote

HIPC
2005
Springer

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

Data and Computation Abstractions for Dynamic and Irregular Computations

16 years 3 days ago

Download www.cse.ohio-state.edu

Sriram Krishnamoorthy, Jarek Nieplocha, P. Sadayap...

claim paper

Read More »

150

click to vote

HYBRID
2005
Springer

106views Control Systems» more HYBRID 2005»

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

16 years 3 days ago

Download www.ee.ucla.edu

Paulo Tabuada

claim paper

Read More »

110

click to vote

ICCBR
2005
Springer

80views Automated Reasoning» more ICCBR 2005»

Abstracting Reusable Cases from Reinforcement Learning

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers