Sciweavers

16206 search results - page 207 / 3242
» Software Engineering is Not Enough
Sort
View
AMAST
2004
Springer
15 years 10 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe
CGO
2004
IEEE
15 years 10 months ago
Extending Path Profiling across Loop Backedges and Procedure Boundaries
Sriraman Tallam, Xiangyu Zhang, Rajiv Gupta