Search Sciweavers | Sciweavers

31387 search results - page 363 / 6278

» Abstracting abstract machines

142

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

15 years 4 months ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

147

click to vote

IMCSIT
2010

107views Information Technology» more IMCSIT 2010»

A Modeling Language Approach for the Abstraction of the Berkeley Open Infrastructure for Network Computing (BOINC) Framework

15 years 4 months ago

Download www.christianbenjaminries.de

Christian Benjamin Ries, Thomas Hilbig, Christian ...

claim paper

Read More »

120

click to vote

INLG
2010
Springer

95views Natural Language Processing» more INLG 2010»

Generating and Validating Abstracts of Meeting Conversations: a User Study

15 years 4 months ago

Download www.cs.ubc.ca

Gabriel Murray, Giuseppe Carenini, Raymond T. Ng

claim paper

Read More »

151

click to vote

IPAW
2010

124views Information Technology» more IPAW 2010»

Abstract Provenance Graphs: Anticipating and Exploiting Schema-Level Data Provenance

15 years 4 months ago

Download www.cs.ucdavis.edu

Daniel Zinn, Bertram Ludäscher

claim paper

Read More »

116

click to vote

IPPS
2010
IEEE

77views Distributed And Parallel Com...» more IPPS 2010»

Transforming linear algebra libraries: From abstraction to parallelism

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers