Sciweavers

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