Sciweavers

20175 search results - page 98 / 4035
» Is abstraction the key to computing
Sort
View
86
Voted
SKG
2006
IEEE
15 years 6 months ago
Semantic Abstraction of IA-64 Multimedia Instructions
Xuemeng Zhang, Rongcai Zhao, Jianmin Pang
63
Voted
ICAC
2005
IEEE
15 years 6 months ago
A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems
Giuseppe Valetto, Gail E. Kaiser, Dan B. Phung
84
Voted
RTA
2005
Springer
15 years 6 months ago
Abstract Modularity
Michael Abbott, Neil Ghani, Christoph Lüth
74
Voted
SPIN
2005
Springer
15 years 6 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp
78
Voted
SPIN
2004
Springer
15 years 6 months ago
Using Fairness to Make Abstractions Work
Dragan Bosnacki, Natalia Ioustinova, Natalia Sidor...