Sciweavers

31387 search results - page 363 / 6278
» Abstracting abstract machines
Sort
View
ICST
2010
IEEE
15 years 4 months ago
Model Based Testing and Abstract Interpretation in the Railway Signaling Context
Daniele Grasso, Alessandro Fantechi, Alessio Ferra...
INLG
2010
Springer
15 years 4 months ago
Generating and Validating Abstracts of Meeting Conversations: a User Study
Gabriel Murray, Giuseppe Carenini, Raymond T. Ng
IPPS
2010
IEEE
15 years 4 months ago
Transforming linear algebra libraries: From abstraction to parallelism
Ernie Chan, Robert A. van de Geijn, Field G. Van Z...