Power-aware scheduling of data-flow hardware circuits with symbolic control von Özbaltan, Mete, Berthier, Nicolas

Volltext

Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference von Berthier, Nicolas, Khakpour, Narges

Volltext

Designing Autonomic Management Systems by Using Reactive Control Techniques von Berthier, Nicolas, Rutten, Eric, De Palma, Noel, Gueye, Soguy Mak-Kare

Volltext

Synchronous programming of device drivers for global resource control in embedded operating systems von Berthier, Nicolas, Maraninchi, Florence, Mounier, Laurent

Volltext

Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version) von Berthier, Nicolas, Khakpour, Narges

Volltext bestellen

Coordinating self-sizing and self-repair managers for multi-tier systems von Gueye, Soguy Mak-Karé, De Palma, Noël, Rutten, Éric, Tchana, Alain, Berthier, Nicolas

Volltext

A Case for Symbolic Limited Optimal Discrete Control: Energy Management in Reactive Data-flow Circuits ⁎⁎This work was supported by the EPSRC through grant EP/M027287/1 von Özbaltan, Mete, Berthier, Nicolas

Volltext

A Case for Symbolic Limited Optimal Discrete Control: Energy Management in Reactive Data-flow Circuits von Özbaltan, Mete, Berthier, Nicolas

Volltext

Exercising Symbolic Discrete Control for Designing Low-power Hardware Circuits: an Application to Clock-gating ⁎⁎This work was supported by the EPSRC through grant EP/M027287/1 von Özbaltan, Mete, Berthier, Nicolas

Volltext

PranCS: A Protocol and Discrete Controller Synthesis Tool von Husien, Idress, Schewe, Sven, Berthier, Nicolas

Volltext

Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version) von Berthier, Nicolas, Khakpour, Narges

Volltext

Exercising Symbolic Discrete Control for Designing Low-power Hardware Circuits: an Application to Clock-gating von Özbaltan, Mete, Berthier, Nicolas

Volltext

Discrete Controller Synthesis for Infinite State Systems with ReaX von Berthier, Nicolas, Marchand, Hervé

Volltext

Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management ⁎⁎This work was partially supported by the EPSRC through grant EP/M027287/1 von Berthier, Nicolas, Marchand, Hervé, Rutten, Éric

Volltext

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee von Berthier, Nicolas, De Oliveira, Steven, Kosmatov, Nikolai, Longuet, Delphine, Soulat, Romain

Volltext

Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features von Berthier, Nicolas, Alshareef, Amany, Sharp, James, Schewe, Sven, Huang, Xiaowei

Volltext bestellen

Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management von Berthier, Nicolas, Marchand, Hervé, Rutten, Éric

Volltext

Tutorials on Testing Neural Networks von Berthier, Nicolas, Sun, Youcheng, Huang, Wei, Zhang, Yanghao, Ruan, Wenjie, Huang, Xiaowei

Volltext bestellen

Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués von Berthier, Nicolas

Volltext bestellen

Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures von Berthier, Nicolas, An, Xin, Marchand, Herve

Volltext