Muntean, Traian
Muntean, Traian, 19..-...., informaticien
VIAF ID: 199272198 ( Personal )
Permalink: http://viaf.org/viaf/199272198
Preferred Forms
-
-
- 100 1 _ ‡a Muntean, Traian
- 100 1 _ ‡a Muntean, Traian
-
-
- 100 1 _ ‡a Muntean, Traian
- 100 1 _ ‡a Muntean, Traian (sparse)
- 100 1 _ ‡a Muntean, Traian, ‡d 19..-...., ‡c informaticien
Works
Title | Sources |
---|---|
2013 | |
7ème OUG & Colloque international sur la programmation parallèle des machines à base de transputers : Grenoble, LGI-IMAG, 14-16 septembre 1987, français | |
Algebraic informatics, 2013: | |
Architectures parallèles à connectique programmable : reconfiguration et routage | |
Communications adaptatives dans les réseaux généraux | |
Conception d'un système supportant des modèles de cohérence multiples pour les machines parallèles à mémoire virtuelle partagée | |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers | |
Contribution au renforcement de la protection de la vie privée. : Application à l' édition collaborative et anonyme des documents. | |
Contributions à l'efficacité des mécanismes cryptographiques | |
Contrôle des communications dans les machines parallèles à mémoire distribuée : contribution au routage automatique des messages | |
Correct construction of software for smart card. Formal development of an embedded byte code verifier for Java Card using the B method. | |
La description des protocoles de communication avec le langage parallèle CSP | |
Designing a virtual machine for diffusing parallel systems. | |
Energy efficient secure and privacy preserving data aggregation in Wireless Sensor Networks | |
A formal model for broadcasting communicating systems. | |
Un mécanisme d'ordonnancement distribue de taches temps réel | |
Mécanismes et outils pour sécurisation de systèmes à accès distants : application aux systèmes de gestion électronique de documents | |
Mecanisms and tools to secure remote access systems. | |
A mechanism for distributed scheduling of real time tasks. | |
Méthodes de calculs sur les données chiffrées | |
Méthodologie d'évaluation par simulation de la sécurité des circuits face aux attaques par faute | |
Migration de processus dans les systèmes massivement parallèles | |
MobiRouting : Un modèle de routage des communications pour processus mobiles | |
Un modèle formel pour les systèmes mobiles à diffusion | |
OPTIMAL TASK MAPPING IN SAFETY-CRITICAL REAL-TIME PARALLEL SYSTEMS. | |
Outsourcing computation on encrypted data. | |
Parallel programming of transputer based machines : proceedings of the 7th OCCAM user group technical meeting, OUG 7, 14-16 September 1987, Grenoble | |
ParObj : an object-based parallel system kernel | |
ParObj : un noyau de système parallèle à objets | |
Parx : architecture of a parallel operating system kernel. | |
Pds a parallel-machine generator for program development systems. | |
PLACEMENT OPTIMAL DE TACHES POUR LES SYSTEMES PARALLELES TEMPS-REEL CRITIQUES | |
Process allocation in distributed memory parallel architectures. | |
Spécification de la synchronisation par contraintes | |
Un système formel de transformation de programmes pour leur exécution sur machines parallèles | |
Techniques d'optimisation déterministe et stochastique pour la résolution de problèmes difficiles en cryptologie | |
Tomographie depuis plusieurs sources vers de multiples destinations dans les réseaux de grilles informatiques hautes performances |