Sciweavers

2813 search results - page 186 / 563
» Formalizing Architectural Connection
Sort
View
COLING
1996
15 years 7 months ago
Compositional Semantics in Verbmobil
The paper discusses how compositional semantics is implemented in the Verbmobil speech-to-speech translation system using LUD, a description language for underspecified discourse ...
Johan Bos, Björn Gambäck, Christian Lies...
FAC
2002
78views more  FAC 2002»
15 years 6 months ago
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
Jürgen Dingel
DATE
2003
IEEE
145views Hardware» more  DATE 2003»
15 years 11 months ago
Automated Bus Generation for Multiprocessor SoC Design
The performance of a system, especially a multiprocessor system, heavily depends upon the efficiency of its bus architecture. This paper presents a methodology to generate a custo...
Kyeong Keol Ryu, Vincent John Mooney
ICSM
1999
IEEE
15 years 10 months ago
A Two-Phase Process for Software Architecture Improvement
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
René L. Krikhaar, André Postma, M. P...
BIRTHDAY
2010
Springer
15 years 5 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein