Search Sciweavers | Sciweavers

31387 search results - page 324 / 6278

» Abstracting abstract machines

160

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 »

116

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 »

132

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

Download reuseware.org

Jendrik Johannes, Miguel A. Fernández

claim paper

Read More »

162

click to vote

ECRTS
2010
IEEE

192views Embedded Systems» more ECRTS 2010»

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers