Sciweavers

15777 search results - page 297 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
101
Voted
APSEC
2005
IEEE
15 years 9 months ago
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...
ASWEC
2005
IEEE
15 years 9 months ago
Consistent Code Generation from UML Models
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He
103
Voted
CGO
2005
IEEE
15 years 9 months ago
Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters
Marc Berndl, Benjamin Vitale, Mathew Zaleski, Ange...