Sciweavers

34199 search results - page 377 / 6840
» Petascale Computational Systems
Sort
View
140
Voted
CONCUR
1994
Springer
15 years 11 months ago
Testing-Based Abstractions for Value-Passing Systems
Rance Cleaveland, James Riely
ICCS
1992
Springer
15 years 11 months ago
A Reconstruction of Conceptual Graphs on Top of a Production System
Jacques Bouaud, Pierre Zweigenbaum