Sciweavers

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