Search Sciweavers | Sciweavers

31387 search results - page 245 / 6278

» Abstracting abstract machines

153

click to vote

HOTOS
1993
IEEE

108views Operating System» more HOTOS 1993»

Processor Capacity Reserves: An Abstraction for Managing Processor Usage

15 years 10 months ago

Download cseweb.ucsd.edu

Clifford W. Mercer, Stefan Savage, Hideyuki Tokuda

claim paper

Read More »

130

click to vote

FOCS
1994
IEEE

87views Theoretical Computer Science» more FOCS 1994»

More Output-Sensitive Geometric Algorithms (Extended Abstract)

15 years 10 months ago

Download www.almaden.ibm.com

Kenneth L. Clarkson

claim paper

Read More »

153

click to vote

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 10 months ago

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

172

click to vote

VL
1993
IEEE

151views Visual Languages» more VL 1993»

A Framework for Abstract 3D Visualization

15 years 10 months ago

Download www.cs.brown.edu

Steven P. Reiss

claim paper

Read More »

139

click to vote

CHI
1994
ACM

98views Human Computer Interaction» more CHI 1994»

A preliminary analysis of the products of HCI research, using Pro Forma abstracts

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers