Sciweavers

117

ICLP
1997
Springer

72views Automated Reasoning» more ICLP 1997»

A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages

15 years 8 months ago

Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...

Andreas Kågedal, Saumya K. Debray

claim paper

Read More »

97

click to vote

GLVLSI
1995
IEEE

118views VLSI» more GLVLSI 1995»

A new look at the conditions for the synthesis of speed-independent circuits

15 years 8 months ago

Download www.lsi.upc.es

Enric Pastor, Jordi Cortadella, Oriol Roig

claim paper

Read More »

103

click to vote

GLVLSI
1995
IEEE

104views VLSI» more GLVLSI 1995»

Symbolic execution of data paths

15 years 8 months ago

Download bears.ece.ucsb.edu

Chuck Monahan, Forrest Brewer

claim paper

Read More »

111

click to vote

GLVLSI
1995
IEEE

96views VLSI» more GLVLSI 1995»

Thumbnail rectilinear Steiner trees

15 years 8 months ago

Download www.cs.virginia.edu

Joseph L. Ganley, James P. Cohoon

claim paper

Read More »

133

click to vote

GIS
1995
ACM

137views Automated Reasoning» more GIS 1995»

Object-Oriented Requirements Engineering for GIS Applications

15 years 8 months ago

Download www.fernuni-hagen.de

We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...

Georg Kösters, Bernd-Uwe Pagel, Hans-Werner S...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers