Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Jaime Arias Almeida
himito
39 Decks
0 Following
0 Followers
1 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios
himito
0
120
Verification of i-score Using Timed Automata
himito
0
110
Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia Scores
himito
0
120
Écriture et Exécution des Partitions Multimédias Interactives Fiables sur FPGAs
himito
0
130
Towards an Automatic Verification of Interactive Scores and their Real-Time Performance
himito
0
71
Interactive Scores Meet Timed Automata
himito
0
140
A Tree-Based Operational Semantics for Interactive Multimedia Scores
himito
0
150
Formal Models to Compose and Execute Multimedia Interactive Scores
himito
0
140
A Symbolic Model for Timed Concurrent Constraint Programming
himito
0
110
À la recherche de modèles formels pour l'écriture et l'exécution de scénarios interactifs ouverts
himito
0
100
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets
himito
0
110
Executing Hierarchical Interactive Scores in ReactiveML
himito
0
120
Execution of Interactive Scores Using ReactiveML
himito
0
130
Partituras Interactivas - Planificación Incremental y en Tiempo Real de Flujo Multimedia
himito
0
120
Model Checking for tcc Calculus
himito
0
130
Curso Interactivo de LaTeX - Introducción
himito
0
11
Curso Interactivo de LaTeX -- Documento
himito
0
23
Curso Interactivo de LaTeX - Tablas, Gráficos y Elementos Flotantes
himito
0
27
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade