Sciweavers

17298 search results - page 115 / 3460
» Abstract computing machines
Sort
View
PG
2007
IEEE
16 years 19 days ago
Abstract Line Drawings from 2D Images
Minjung Son, Henry Kang, Yunjin Lee, Seungyong Lee
RTA
2005
Springer
15 years 12 months ago
Abstract Modularity
Michael Abbott, Neil Ghani, Christoph Lüth
SPIN
2005
Springer
15 years 11 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp