Search Sciweavers | Sciweavers

15777 search results - page 327 / 3156

» The Reformulation-Optimization Software Engine

Voted

IWPC
1996
IEEE

112views Software Engineering» more IWPC 1996»

Fast, Flexible Syntactic Pattern Matching and Processing

15 years 7 months ago

Download harmonia.cs.berkeley.edu

William G. Griswold, Darren C. Atkinson, Collin Mc...

claim paper

Read More »

Voted

FSTTCS
1997
Springer

79views Software Engineering» more FSTTCS 1997»

Compilation and Equivalence of Imperative Objects

15 years 7 months ago

Download www.brics.dk

Andrew D. Gordon, Paul D. Hankin, Søren B. ...

claim paper

Read More »

103

Voted

ICSE
1997
IEEE-ACM

83views Software Engineering» more ICSE 1997»

Using Formal Methods to Reason about Architectural Standards

15 years 7 months ago

Download www.cs.virginia.edu

Kevin J. Sullivan, John Socha, Mark Marchukov

claim paper

Read More »

click to vote

UIST
1996
ACM

119views Software Engineering» more UIST 1996»

Ambiguous Intentions: A Paper-like Interface for Creative Design

15 years 7 months ago

Download code.arc.cmu.edu

Mark D. Gross, Ellen Yi-Luen Do

claim paper

Read More »

107

Voted

PEPM
1997
ACM

90views Software Engineering» more PEPM 1997»

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers