4666 search results - page 792 / 934 » Equations on Timed Languages |
137
click to vote
CC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
144
Voted
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
As the Extensible Markup Language (XML) rapidly establishes itself as the de facto standard for presenting, storing, and exchanging data on the Internet, large volume of XML data ...
116
click to vote
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
146
click to vote
MLDM
2009
Springer
15 years 8 months ago
2009
Springer
The induction of knowledge from a data set relies in the execution of multiple data mining actions: to apply filters to clean and select the data, to train different algorithms (...
148
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...