Sciweavers

15777 search results - page 484 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
SCAM
2008
IEEE
15 years 11 months ago
Analysis and Transformations for Efficient Query-Based Debugging
Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel...
CGO
2007
IEEE
15 years 11 months ago
Graph-Based Procedural Abstraction
A. Dreweke, Marc Wörlein, Ingrid Fischer, D. ...
COMPSAC
2007
IEEE
15 years 11 months ago
Study on GML Spatial Interoperability based on Web Service
Shuliang Zhang, Jiayan Gan, LiZhi Miao, Guonian Lv...
TASE
2007
IEEE
15 years 11 months ago
Varieties of Static Analyzers: A Comparison with ASTREE
Patrick Cousot, Radhia Cousot, Jérôme...