Sciweavers

4902 search results - page 223 / 981
» Multi-agent Systems Methodology
Sort
View
UML
2005
Springer
15 years 10 months ago
Modeling and Analysis of Real-Time and Embedded Systems
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
Susanne Graf, Sébastien Gérard, &Osl...
FDL
2006
IEEE
15 years 11 months ago
Randomized Simulation of Hybrid Systems For Circuit Validation
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
Thao Dang, Tarik Nahhal
DATE
2005
IEEE
97views Hardware» more  DATE 2005»
15 years 11 months ago
Synchronization Processor Synthesis for Latency Insensitive Systems
In this paper we present our contribution in terms of synchronization processor for a SoC design methodology based on the theory of the latency insensitive systems (LIS) of Carlon...
Pierre Bomel, Eric Martin, Emmanuel Boutillon
ACL
2009
15 years 3 months ago
Validating the web-based evaluation of NLG systems
The GIVE Challenge is a recent shared task in which NLG systems are evaluated over the Internet. In this paper, we validate this novel NLG evaluation methodology by comparing the ...
Alexander Koller, Kristina Striegnitz, Donna Byron...
DSD
2008
IEEE
79views Hardware» more  DSD 2008»
15 years 11 months ago
Digital Systems Architectures Based on On-line Checkers
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
Martin Straka, Zdenek Kotásek, Jan Winter