61. A flexible framework for studying trace-based just-in-time compilation. (January 2018) Authors: Vandercammen, Maarten; Marr, Stefan; De Roover, Coen Journal: Computer languages, systems & structures Issue: Volume 51(2017) Page Start: 22 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. A flexible processor for the characteristic 3 ηT pairing. (15th October 2007) Authors: Ronan, Robert; Murphy, Colin; Kerins, Tim; O.hEigeartaigh, Colm; , Paulo S.L.M. Barreto Journal: International journal of high performance systems architecture Issue: Volume 1:Number 2(2007) Page Start: 79 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. A force-driven evolutionary approach for multi-objective 3D differentiated sensor network deployment. (29th July 2011) Authors: Chen, Jian-Hung; Kang, Chih-Wei Journal: International journal of ad hoc and ubiquitous computing Issue: Volume 8:Number 1/2(2011) Page Start: 85 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. A formal approach to H.264 video decoding on multicore systems. (1st January 2013) Authors: Lumme, Kristian; Petre, Luigia; Sandvik, Petter; Sere, Kaisa Journal: International journal of critical computer-based systems Issue: Volume 4:Number 1(2013) Page Start: 3 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. A formal framework for black-box conformance testing of distributed real-time systems. (1st January 2012) Authors: Krichen, Moez Journal: International journal of critical computer-based systems Issue: Volume 3:Number 1/2(2012) Page Start: 26 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. A formal framework to specify and verify real-time properties on critical systems. (1st January 2014) Authors: Abid, Nouha; Dal Zilio, Silvano; Le Botlan, Didier Journal: International journal of critical computer-based systems Issue: Volume 5:Number 1/2(2014) Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
67. A formal model for the analysis and verification of a pre-emptive round-robin arbiter. (2018) Authors: Hafaiedh, Imene Ben; Slimane, Maroua Ben; Robbana, Riadh Journal: International journal of critical computer-based systems Issue: Volume 8:Number 2(2018) Page Start: 169 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. A formal semantics of nested atomic sections with thread escape. (July 2015) Authors: Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas Journal: Computer languages, systems & structures Issue: Volume 42(2015) Page Start: 2 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
69. A formal semantics of nested atomic sections with thread escape. (July 2015) Authors: Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas Journal: Computer languages, systems & structures Issue: Volume 42(2015) Page Start: 2 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. A formal verification of dynamic updating in a Java-based embedded system. (2017) Authors: Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean-Louis Journal: International journal of critical computer-based systems Issue: Volume 7:Number 4(2018) Page Start: 303 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗