Sciweavers

17298 search results - page 115 / 3460
» Abstract computing machines
Sort
View
PG
2007
IEEE
15 years 8 months ago
Abstract Line Drawings from 2D Images
Minjung Son, Henry Kang, Yunjin Lee, Seungyong Lee
96
Voted
SKG
2006
IEEE
15 years 8 months ago
Semantic Abstraction of IA-64 Multimedia Instructions
Xuemeng Zhang, Rongcai Zhao, Jianmin Pang
76
Voted
ICAC
2005
IEEE
15 years 8 months ago
A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems
Giuseppe Valetto, Gail E. Kaiser, Dan B. Phung
100
Voted
RTA
2005
Springer
15 years 8 months ago
Abstract Modularity
Michael Abbott, Neil Ghani, Christoph Lüth
90
Voted
SPIN
2005
Springer
15 years 8 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp