Search Sciweavers | Sciweavers

2019 search results - page 5 / 404

» Programming with Shared Data Abstractions

click to vote

JPL
1998

59views more JPL 1998»

Implicitly synchronized abstract data types: data structures for modular parallel programming

13 years 7 months ago

Download people.csail.mit.edu

Martin C. Rinard

claim paper

Read More »

click to vote

TACAS
2005
Springer

124views Algorithms» more TACAS 2005»

Localization and Register Sharing for Predicate Abstraction

14 years 1 months ago

Download www.cs.cmu.edu

ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay ...

claim paper

Read More »

click to vote

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

14 years 4 months ago

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

click to vote

ICA3PP
2010
Springer

121views Distributed And Parallel Com...» more ICA3PP 2010»

Function Units Sharing between Neighbor Cores in CMP

13 years 9 months ago

Download multicore.zju.edu.cn

Abstract. Program behaviors reveal that programs have different sources requirement at different phases, even at continuous clocks. It is not a reasonable way to run different prog...

Tianzhou Chen, Jianliang Ma, Hui Yuan, Jingwei Liu...

claim paper

Read More »

click to vote

ICCL
1998
IEEE

206views Programming Languages» more ICCL 1998»

Breaking Abstractions and Unstructuring Data Structures

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers