Search Sciweavers | Sciweavers

15792 search results - page 90 / 3159

» Computational Abstraction Steps

124

click to vote

SKG
2006
IEEE

99views Distributed And Parallel Com...» more SKG 2006»

Semantic Abstraction of IA-64 Multimedia Instructions

15 years 11 months ago

Download csdl2.computer.org

Xuemeng Zhang, Rongcai Zhao, Jianmin Pang

claim paper

Read More »

101

click to vote

ICAC
2005
IEEE

78views Applied Computing» more ICAC 2005»

A Uniform Programming Abstraction for Effecting Autonomic Adaptations onto Software Systems

15 years 11 months ago

Download www.cs.columbia.edu

Giuseppe Valetto, Gail E. Kaiser, Dan B. Phung

claim paper

Read More »

132

click to vote

RTA
2005
Springer

128views Theoretical Computer Science» more RTA 2005»

Abstract Modularity

15 years 11 months ago

Download www.informatik.uni-bremen.de

Michael Abbott, Neil Ghani, Christoph Lüth

claim paper

Read More »

119

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

15 years 11 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

125

click to vote

SPIN
2004
Springer

104views Theoretical Computer Science» more SPIN 2004»

Using Fairness to Make Abstractions Work

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers