Sciweavers

15778 search results - page 45 / 3156

» Aikido and software engineering

76

Voted

ISSTA
1996
ACM

106views Software Engineering» more ISSTA 1996»

An Efficient State Space Generation for Analysis of Real-Time Systems

15 years 4 months ago

An Efficient State Space Generation for Analysis of Real-Time Systems

Download ftp.cis.upenn.edu

Inhye Kang, Insup Lee

claim paper

Read More »

73

SIGSOFT
1996
ACM

100views Software Engineering» more SIGSOFT 1996»

Decoupling Change from Design

15 years 4 months ago

Decoupling Change from Design

Download www.cse.fau.edu

Michael VanHilst, David Notkin

claim paper

Read More »

85

Voted

UIST
1996
ACM

92views Software Engineering» more UIST 1996»

Ultra-Lightweight Constraints

15 years 4 months ago

Ultra-Lightweight Constraints

Download www.cc.gatech.edu

Scott E. Hudson, Ian E. Smith

claim paper

Read More »

76

Voted

PEPM
1997
ACM

88views Software Engineering» more PEPM 1997»

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

15 years 4 months ago

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Download www.brics.dk

Olivier Danvy, Ulrik Pagh Schultz

claim paper

Read More »

96

Voted

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

15 years 4 months ago

Resource-Bounded Partial Evaluation

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

« Prev « First page 45 / 3156 Last » Next »