Search Sciweavers | Sciweavers

31387 search results - page 299 / 6278

» Abstracts

139

click to vote

ATVA
2010
Springer

151views Hardware» more ATVA 2010»

Abstraction Learning

15 years 7 months ago

Download www.comp.nus.edu.sg

Joxan Jaffar, Jorge Navas, Andrew E. Santosa

claim paper

Read More »

158

click to vote

BIRTHDAY
2010
Springer

146views Applied Computing» more BIRTHDAY 2010»

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

15 years 7 months ago

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

114

click to vote

CCGRID
2010
IEEE

124views Distributed And Parallel Com...» more CCGRID 2010»

SAGA BigJob: An Extensible and Interoperable Pilot-Job Abstraction for Distributed Applications and Systems

15 years 7 months ago

Download saga.cct.lsu.edu

André Luckow, Lukasz Lacinski, Shantenu Jha

claim paper

Read More »

131

click to vote

CONCUR
2010
Springer

113views Distributed And Parallel Com...» more CONCUR 2010»

Communicating Transactions - (Extended Abstract)

15 years 7 months ago

Download www.scss.tcd.ie

Edsko de Vries, Vasileios Koutavas, Matthew Hennes...

claim paper

Read More »

147

click to vote

ECMDAFA
2010
Springer

135views Hardware» more ECMDAFA 2010»

Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers