Sciweavers

16206 search results - page 345 / 3242
» Software Engineering is Not Enough
Sort
View
159
Voted
APSEC
2005
IEEE
16 years 1 months ago
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...
155
Voted
ASWEC
2005
IEEE
16 years 1 months ago
Consistent Code Generation from UML Models
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He
163
Voted
CGO
2005
IEEE
16 years 1 months ago
Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters
Marc Berndl, Benjamin Vitale, Mathew Zaleski, Ange...