Deciding Equations in the Time Warp Algebra
van Gool, Sam, Guatto, Adrien, Metcalfe, George, Santschi, Simon
Published in Logical methods in computer science (01.01.2024)
Published in Logical methods in computer science (01.01.2024)
Get full text
Journal Article
Time Warps, from Algebra to Algorithms
van Gool, Sam, Guatto, Adrien, Metcalfe, George, Santschi, Simon
Published in Relational and Algebraic Methods in Computer Science (2021)
Published in Relational and Algebraic Methods in Computer Science (2021)
Get full text
Book Chapter
Correct and Efficient Bounded FIFO Queues
Nhat Minh Le, Guatto, Adrien, Cohen, Albert, Pop, Antoniu
Published in 2013 25th International Symposium on Computer Architecture and High Performance Computing (01.10.2013)
Published in 2013 25th International Symposium on Computer Architecture and High Performance Computing (01.10.2013)
Get full text
Conference Proceeding
Improving the Design Flow for Parallel and Heterogeneous Architectures running Real-Time applications: The PHARAON FP7 project
Posadas, Hector, Villar, Eugenio, Broekaert, Florian, Bourdellès, Michel, Cohen, Albert, Gérard, Léonard, Guatto, Adrien, Lazarescu, Mihai T., Lavagno, Luciano, Lê, Nhat Minh, Terechko, Andrei, Glassee, Miguel, Prieto, Manuel, Pop, Antoniu
Published in Microprocessors and microsystems (01.06.2014)
Get full text
Published in Microprocessors and microsystems (01.06.2014)
Journal Article
Hierarchical Memory Management for Mutable State
Guatto, Adrien, Westrick, Sam, Raghunathan, Ram, Acar, Umut, Fluet, Matthew
Published in arXiv.org (18.02.2018)
Published in arXiv.org (18.02.2018)
Get full text
Paper
Journal Article
EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications
Posadas, Hector, Villar, Eugenio, Lazarescu, Mihai T., Lavagno, Luciano, Broekaert, Florian, Bourdelles, Michel, Terechko, Andrei, Cohen, Albert, Pop, Antoniu, Nhat Minh Lê, Guatto, Adrien, Glassee, Miguel, Calvo, Daniel, de las Heras, Edouardo
Published in 2013 Euromicro Conference on Digital System Design (01.09.2013)
Published in 2013 Euromicro Conference on Digital System Design (01.09.2013)
Get full text
Conference Proceeding