6054 search results - page 1040 / 1211 » Implementation of Andorra-based Languages |
FMCAD
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
HIPC
2000
Springer
14 years 2 months ago
2000
Springer
: This paper presents the results from running five experiments with the Chime Parallel Processing System. The Chime System is an implementation of the CC++ programming language (p...
ISCA
1998
IEEE
14 years 2 months ago
1998
IEEE
Future parallel computers must efficiently execute not only hand-coded applications but also programs written in high-level, parallel programming languages. Today's machines ...
RSCTC
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
WEBDB
2000
Springer
14 years 2 months ago
2000
Springer
Web Modeling Language (WebML, http://webml.org) is a notation for visually specifying complex Web sites at the conceptual level. All the concepts of WebML are specified both graph...