Sciweavers

23413 search results - page 184 / 4683

» or 2005

123

AOSD
2005
ACM

113views Software Engineering» more AOSD 2005»

Aspect language features for concern coverage profiling

15 years 12 months ago

Aspect language features for concern coverage profiling

Download www.cs.virginia.edu

Hridesh Rajan, Kevin J. Sullivan

claim paper

Read More »

108

APGV
2005
ACM

120views Visualization» more APGV 2005»

Trajectory synthesis by hierarchical spatio-temporal correspondence: comparison of different methods

15 years 12 months ago

Trajectory synthesis by hierarchical spatio-temporal correspondence: comparison of different methods

Download www.uni-tuebingen.de

Johannes Mezger, Winfried Ilg, Martin A. Giese

claim paper

Read More »

128

APGV
2005
ACM

86views Visualization» more APGV 2005»

Perceptually optimizing textures for layered surfaces

15 years 12 months ago

Perceptually optimizing textures for layered surfaces

Download www.ics.uci.edu

Alethea Bair, Donald H. House, Colin Ware

claim paper

Read More »

128

APLAS
2005
ACM

91views Programming Languages» more APLAS 2005»

Termination Analysis of Higher-Order Functional Programs

15 years 12 months ago

Termination Analysis of Higher-Order Functional Programs

Download metacomp.comlab.ox.ac.uk

Damien Sereni, Neil D. Jones

claim paper

Read More »

126

ASPDAC
2005
ACM

130views Hardware» more ASPDAC 2005»

Sequential equivalence checking using cuts

15 years 12 months ago

Sequential equivalence checking using cuts

Download me.fudan.edu.cn

Wei Huang, Pushan Tang, Min Ding

claim paper

Read More »

« Prev « First page 184 / 4683 Last » Next »