Search Sciweavers | Sciweavers

15777 search results - page 71 / 3156

» The Reformulation-Optimization Software Engine

click to vote

APSEC
2008
IEEE

76views Software Engineering» more APSEC 2008»

Iterative Model Fixing with Counterexamples

15 years 6 months ago

Download repository.dl.itc.u-tokyo.ac.jp

Tsutomu Kumazawa, Tetsuo Tamai

claim paper

Read More »

click to vote

CGO
2008
IEEE

114views Software Engineering» more CGO 2008»

Phase-based adaptive recompilation in a JVM

15 years 6 months ago

Download www.sable.mcgill.ca

Dayong Gu, Clark Verbrugge

claim paper

Read More »

click to vote

CGO
2008
IEEE

123views Software Engineering» more CGO 2008»

Near-optimal instruction selection on dags

15 years 6 months ago

Download www.cs.cmu.edu

David Ryan Koes, Seth Copen Goldstein

claim paper

Read More »

click to vote

CGO
2008
IEEE

120views Software Engineering» more CGO 2008»

Issues and challenges in compiling for graphics processors

15 years 6 months ago

Download ati.amd.com

Norm Rubin

claim paper

Read More »

click to vote

CISIS
2008
IEEE

115views Software Engineering» more CISIS 2008»

Ontology Matching: Current Status, Dilemmas and Future Challenges

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers