Bertran, Miquel.
Bertran i Salvans, Miquel, 1945-2014
Bertrán i Salvans, Miquel 1945-
Bertran, Miquel, 19..-....
Miquel Bertran i Salvans
VIAF ID: 19933256 (Personal)
Permalink: http://viaf.org/viaf/19933256
Preferred Forms
- 200 _ | ‡a Bertran ‡b Miquel
- 100 1 _ ‡a Bertran i Salvans, Miquel ‡d 1945-
-
- 100 1 0 ‡a Bertran, Miquel
-
-
-
- 100 1 _ ‡a Bertran, Miquel (sparse)
-
-
- 100 1 _ ‡a Bertran, Miquel, ‡d 19..-....
-
- 100 1 0 ‡a Bertrán i Salvans, Miquel ‡d 1945-
- 100 0 _ ‡a Miquel Bertran i Salvans
4xx's: Alternate Name Forms (16)
Works
Title | Sources |
---|---|
Addendum to T-BASIC-D Language Manual | |
AMAST | |
Anàlisi espectral amb models racionals del cepstrum | |
Aportaciones a la simulación de sistemas en PADD | |
Aportacions a la síntesi lògica a nivell transistor de sistmes V.L.S.I | |
ARTS'97 | |
Compilador portable de C++ | |
Contribució al disseny electrònic i mapeig a VHDL amb transformacions formals | |
Contribucions al disseny i optimització de xarxes d'ordinadors | |
Contributions to Formal Communication Elimination for System Models with Explicit Parallelism | |
Control de concurrència en sistemes gestors de bases de dades distribuïdes algorismes i rendiment | |
Deconvolución digital mediante filtrado local recurrente | |
Diseño y simulacion de arquitecturas (VLIW) | |
Disseny d'algorismes d'anàlisi expectral amb eines de simulació amb gràfics | |
Disseny d'arquitectures per transformació de models concurrents | |
Documentador gràfic per l'entorn de disseny PADDs | |
Entorn de desenvolupament de sistemes distribuïts basat en el time warp aplicació a la simulació distribuïda | |
Estudi d'un algorisme de disseny de filtres digitals | |
Filtro de Kalman sistólico y diseño en base a concreciones sucesivas | |
FME '94, industrial benefit of formal methods second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings | |
Generador de editores sintácticos para diseño dimensional | |
Hacia la comprensión de la informática | |
Herramienta para la optimización de redes de telecontrol | |
Mètodes i eines per a proves de programes distribuïts | |
Modelat i verificació de sistemes distribuïts guia d'estudi | |
Noves eines de simulació d'arquitectures paral·leles basades en programació concurrent | |
Nuevas herramientas y metodología de traducción de lenguajes | |
Restauració de sistemes de Rayleigh excitats per trens d'impulsos | |
Restauración sistemas CHI con el método de linealización de Gauss | |
Secuencias ortogonales y filtraje digital | |
Selecció de comunicacions CSP i temps virtual protocols avançats de comunicació i sincronització per sistemes paral·lel-distribuïts | |
Simulació de protocols d'enllaç amb llenguatge d'especificació padd : implementació i ús del simulador | |
Simulación de paralelismo y tubularidad de algoritmos DCT y su aplicación a la norma JPEG | |
Simulador de sistemas dinámicos orientado a diagramas de bloques : Basado en técnicas de procesado digital de señales y programación estructurada | |
Sistemas digitales y analógicos, transformadas de Fourier, estimación espectral | |
Software per documentació formal i verificació de programes | |
Una Solució al problema del mapeig de Padd a circuits electrònics | |
Traductor PADD-VHDL | |
Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21-23, 1997 : proceedings |