Sciweavers

4476 search results - page 499 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
DATE
2003
IEEE
135views Hardware» more  DATE 2003»
16 years 26 days ago
Estimation of Bus Performance for a Tuplespace in an Embedded Architecture
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
Nicola Drago, Franco Fummi, Marco Monguzzi, Giovan...
ICCD
2000
IEEE
69views Hardware» more  ICCD 2000»
15 years 12 months ago
Hierarchical Simulation of a Multiprocessor Architecture
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...
Marius Pirvu, Laxmi N. Bhuyan, Rabi N. Mahapatra
208
Voted
PLILP
1992
Springer
15 years 11 months ago
Unfold/fold Transformations Preserving Termination Properties
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
Torben Amtoft
ACSC
2004
IEEE
15 years 11 months ago
Towards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
Stephan Flake
222
Voted
NAACL
2004
15 years 9 months ago
Automatic Question Answering: Beyond the Factoid
In this paper we describe and evaluate a Question Answering system that goes beyond answering factoid questions. We focus on FAQlike questions and answers, and build our system ar...
Radu Soricut, Eric Brill