Sciweavers

10 search results - page 1 / 2
» jsc 2011
Sort
View
JSC
2011
55views more  JSC 2011»
13 years 2 months ago
Meta-expansion of transseries
Joris van der Hoeven
JSC
2011
62views more  JSC 2011»
13 years 2 months ago
Trace-based verification of imperative programs with I/O
Gregory Malecha, Greg Morrisett, Ryan Wisnesky
JSC
2011
76views more  JSC 2011»
13 years 2 months ago
Parallelization of Modular Algorithms
Nazeran Idrees, Gerhard Pfister, Stefan Steidel
JSC
2011
61views more  JSC 2011»
13 years 2 months ago
Static consistency checking of web applications with WebDSL
Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kat...