Sciweavers

17298 search results - page 115 / 3460
» Abstract computing machines
Sort
View
PG
2007
IEEE
16 years 13 days ago
Abstract Line Drawings from 2D Images
Minjung Son, Henry Kang, Yunjin Lee, Seungyong Lee
126
Voted
SKG
2006
IEEE
16 years 5 days ago
Semantic Abstraction of IA-64 Multimedia Instructions
Xuemeng Zhang, Rongcai Zhao, Jianmin Pang
RTA
2005
Springer
15 years 11 months ago
Abstract Modularity
Michael Abbott, Neil Ghani, Christoph Lüth
125
Voted
SPIN
2005
Springer
15 years 11 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp