Sciweavers

3824 search results - page 500 / 765
» Geometry Constructions Language
Sort
View
PEPM
2004
ACM
15 years 10 months ago
Program transformations for portable CPU accounting and control in Java
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
Jarle Hulaas, Walter Binder
MEMOCODE
2003
IEEE
15 years 10 months ago
Bridging CSP and C++ with Selective Formalism and Executable Specifications
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
William B. Gardner
IRAL
2003
ACM
15 years 9 months ago
Learning bilingual translations from comparable corpora to cross-language information retrieval: hybrid statistics-based and lin
Recent years saw an increased interest in the use and the construction of large corpora. With this increased interest and awareness has come an expansion in the application to kno...
Fatiha Sadat, Masatoshi Yoshikawa, Shunsuke Uemura
ER
2003
Springer
142views Database» more  ER 2003»
15 years 9 months ago
An OPM-Based Metamodel of System Development Process
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
Dov Dori, Iris Reinhartz-Berger
124
Voted
GPCE
2003
Springer
15 years 9 months ago
Spidle: A DSL Approach to Specifying Streaming Applications
Multimedia stream processing is a rapidly evolving domain which requires much software development and expects high performance. Developing a streaming application often involves l...
Charles Consel, Hédi Hamdi, Laurent R&eacut...