Sciweavers

15784 search results - page 357 / 3157
» Mega Software Engineering
Sort
View
139
Voted
EUROMICRO
1996
IEEE
15 years 11 months ago
A Hybrid Approach to Trace Generation for Performance Evaluation of Shared-Bus Multiprocessors
Roberto Giorgi, Cosimo Antonio Prete, Luigi M. Ric...
ICRE
1996
IEEE
15 years 11 months ago
Combined Analysis of User Interface and Domain Requirements
Georg Kösters, Hans-Werner Six, Josef Voss
IWPC
1996
IEEE
15 years 11 months ago
Fast, Flexible Syntactic Pattern Matching and Processing
William G. Griswold, Darren C. Atkinson, Collin Mc...
FSTTCS
1997
Springer
15 years 11 months ago
Compilation and Equivalence of Imperative Objects
Andrew D. Gordon, Paul D. Hankin, Søren B. ...
ICSE
1997
IEEE-ACM
15 years 11 months ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov