It seems we can’t find what you’re looking for. Perhaps searching, or one of the links below, can help.
Recent Posts
- A Functional Synchronous Language with Integer Clocks
- Validation of Memory Accesses Through Symbolic Analyses
- Array contraction
- AlphaZ
- Synthesis of ranking functions using extremal counterexamples
- Les défis de la programmation parallèle
- Efficient abstractions for GPGPU programming
- Augmentation de la robustesse de systèmes et logiciels embarqués
- Design and Mapping of embedded systems
- Death by a thousand cuts
Most Used Categories
- wg (19)
Archives
Try looking in the monthly archives. 🙂
Tags
- allocation mémoire
- alphaz
- array contraction
- cegar
- clock calculus
- compilation
- compsys
- c programs
- design space exploration
- embedded systems
- exascale
- forget
- fpga
- functional languages
- gpu
- high-performance computing
- isoard
- lustre
- mapping
- memory
- monniaux
- ocaml
- oopsla14
- ordonnancement
- parallélisme
- polyèdres
- prelude
- processus transactionnel
- programmation
- real-time
- scheduling
- smt
- smt-solving
- surveillance à signature disjointe
- synchrone
- synchronous
- terminaison
- transformation de programmes
- tuilage sémantique
- unsafe accesses
- Vérification de flot de contrôle
- watchdog
- wcet
- wg
- xilinx