Sciweavers

15784 search results - page 719 / 3157
» Mega Software Engineering
Sort
View
ICSM
2002
IEEE
16 years 11 days ago
A Post-Placement Side-Effect Removal Algorithm
Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Mu...
IWPC
2002
IEEE
16 years 10 days ago
On Using a Benchmark to Evaluate C++ Extractors
In this paper, we take the concept of benchmarking as used extensively in computing and apply it to evaluating C++ fact extractors. We demonstrated the efficacy of this approach b...
Susan Elliott Sim, Richard C. Holt, Steve M. Easte...
EMSOFT
2001
Springer
15 years 12 months ago
Hierarchical Hybrid Modeling of Embedded Systems
Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B...
169
Voted
CODES
1999
IEEE
15 years 11 months ago
Worst-case analysis of discrete systems based on conditional abstractions
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
Felice Balarin
AC
1999
Springer
15 years 11 months ago
PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store
Paulo Ferreira, Marc Shapiro, Xavier Blondel, Oliv...