6201 search results - page 133 / 1241 » Implementation of Axiomatic Language |
133
click to vote
ICPP
2009
IEEE
15 years 11 months ago
2009
IEEE
—The implementation and optimization of collective communication operations is an important field of active research. Such operations directly influence application performance...
123
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The purpose of this paper is twofold: (1) to examine the properties of our ANSI C Markup Language (ACML) as a domain-specific language (DSL); and (2) to show that ACML is useful ...
139
click to vote
ICSR
2000
Springer
15 years 8 months ago
2000
Springer
ions that are fundamental to simulators. We present preliminary results that show how our PLA and DSL synergistically produce a more flexible way of implementing state-machine-base...
138
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...
121
click to vote
SOSP
1997
ACM
15 years 5 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...