Foundational and Practical Aspects of Resource Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319124650, 9783319124667
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?

2014 ◽  
pp. 38-57
Author(s):  
Daniele Canavese ◽  
Emanuele Cesena ◽  
Rachid Ouchary ◽  
Marco Pedicini ◽  
Luca Roversi
Keyword(s):  
Finite Fields ◽  
Efficient Implementation

scholarly journals Certified Complexity (CerCo)

2014 ◽  
pp. 1-18 ◽  
Author(s):  
Roberto M. Amadio ◽  
Nicolas Ayache ◽  
Francois Bobot ◽  
Jaap P. Boender ◽  
Brian Campbell ◽  
...  

scholarly journals Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists

2014 ◽  
pp. 143-159 ◽  
Author(s):  
Olha Shkaravska ◽  
Marko van Eekelen ◽  
Alejandro Tamalet

A Hoare Logic for Energy Consumption Analysis

2014 ◽  
pp. 93-109 ◽  
Author(s):  
Rody Kersten ◽  
Paolo Parisen Toldin ◽  
Bernard van Gastel ◽  
Marko van Eekelen
Keyword(s):  
Energy Consumption ◽  
Hoare Logic ◽  
Energy Consumption Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document