Sciweavers

2550 search results - page 227 / 510
» Architecture as Language
Sort
View
TOOLS
1999
IEEE
15 years 11 months ago
An Object-Oriented Design of a Multimedia Item Pool
An item pool with multimedia data is a finclamental part of our project? Computerized Adaptive Test System of Chinese Proficiency. This p p e r intends to present a design of a mu...
Yue Wang, Tiansi Dong, Liangxian Xu, Ruzhan Lu
MUC
1993
15 years 10 months ago
GE-CMU: description of the SHOGUN system used for MUC-5
This paper describes the GE-CMU TIPSTER/SHOGUN system as configured for the TIPSTER 24-month (MUC-5) benchmark, and gives details of the system's performance on the selected ...
Paul S. Jacobs, George B. Krupka, Lisa F. Rau, Mic...
APLAS
2008
ACM
15 years 8 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 8 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
SPLC
2004
15 years 8 months ago
Dynamic Configuration of Software Product Lines in ArchJava
Abstract. This paper considers the use of a state-of-the-art, generalpurpose, component programming language, specifically ArchJava, to implement software product lines. Component ...
Sebastian Pavel, Jacques Noyé, Jean-Claude ...