Sciweavers

15824 search results - page 83 / 3165
» Specialising in Software Engineering
Sort
View
107
Voted
APSEC
2008
IEEE
16 years 16 days ago
Iterative Model Fixing with Counterexamples
Tsutomu Kumazawa, Tetsuo Tamai
99
Voted
CGO
2008
IEEE
16 years 16 days ago
Phase-based adaptive recompilation in a JVM
Dayong Gu, Clark Verbrugge
CGO
2008
IEEE
16 years 16 days ago
Near-optimal instruction selection on dags
David Ryan Koes, Seth Copen Goldstein