Sciweavers

1001 search results - page 104 / 201
» Generating Application-Specific Benchmark Models for Complex...
Sort
View
HOPL
2007
13 years 12 months ago
Statecharts in the making: a personal account
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
David Harel
INTERSPEECH
2010
13 years 2 months ago
On-the-fly lattice rescoring for real-time automatic speech recognition
This paper presents a method for rescoring the speech recognition lattices on-the-fly to increase the word accuracy while preserving low latency of a real-time speech recognition ...
Hasim Sak, Murat Saraclar, Tunga Güngör
IWPC
1996
IEEE
14 years 8 days ago
A Formal Architectural Design Patterns-Based Approach to Software Understanding
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz,...
ESAW
2008
Springer
13 years 10 months ago
ADELFE Design, AMAS-ML in Action
The complexity of engineers tasks leads us to provide means to bring the Adaptive Multi-Agent Systems (AMAS) design to a higher stage of automation and confidence thanks to Model D...
Sylvain Rougemaille, Jean-Paul Arcangeli, Marie Pi...
ASPDAC
2006
ACM
141views Hardware» more  ASPDAC 2006»
13 years 12 months ago
Depth-driven verification of simultaneous interfaces
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
Ilya Wagner, Valeria Bertacco, Todd M. Austin