Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Bouali, Amar"'
The software approach to developing Digital Signal Processing (DSP) applications brings some great features such as flexibility, re-usability of resources and easy upgrading of applications. However, it requires long and tedious tests and verificatio
Externí odkaz:
http://arxiv.org/abs/cs/0502025
Autor:
Bouali, Amar, Dion, Bernard
Publikováno v:
SAE Transactions, 2005 Jan 01. 114, 171-181.
Externí odkaz:
https://www.jstor.org/stable/44682416
Autor:
Berry, Gérard *, Bouali, Amar, Fornari, Xavier, Ledinot, Emmanuel, Nassor, Eric, de Simone, Robert
Publikováno v:
In Science of Computer Programming 2000 36(1):5-25
Publikováno v:
[Research Report] RR-4293, INRIA. 2001
Software approach to developing Digital Signal Processing (DSP) applications brings some interesting features, such as flexibility, re-usability of resources and easy upgrades of applications. However, it requires long tests and verification phases d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::e06da763b1599414c3307d0f44b78f9c
https://inria.hal.science/inria-00072294
https://inria.hal.science/inria-00072294
Autor:
Bouali, Amar
Publikováno v:
[Technical Report] RT-0214, INRIA. 1997, pp.23
XEVE is a verification environment for ESTEREL programs modeled as Finite State Machines {FSMs) with a user-friendly graphical interface. The ESTEREL compiler translates a program into a system of boolean equations with latch that defines a FSM impli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::00677c0a2eb495683402c318594dc59d
https://inria.hal.science/inria-00069957
https://inria.hal.science/inria-00069957
Publikováno v:
[Technical Report] RT-0191, INRIA. 1996, pp.34
We describe a set of modular extensions to our Auto/Graph verification toolset for networks of communicating processes. These software additions operate from a common file exchange format for automata and networks, called {\sc fc2}. Tool functionalit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a73cdee6acdf1af1c45b1f2935eeec69
https://inria.hal.science/inria-00069980/document
https://inria.hal.science/inria-00069980/document
Autor:
Bouali, Amar
Publikováno v:
[Research Report] RR-1575, INRIA. 1992
Disponible dans les fichiers attachés à ce document
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5c2e99b0d942029256bc9039090430d3
https://inria.hal.science/inria-00074985
https://inria.hal.science/inria-00074985
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.