Sciweavers

4902 search results - page 223 / 981
» Multi-agent Systems Methodology
Sort
View
UML
2005
Springer
16 years 2 days 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
16 years 20 days 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»
16 years 7 days 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
163
Voted
ACL
2009
15 years 4 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»
16 years 1 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