 | DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
| 2018 | |
| Paolini, Piccolo and Zorzi | "QPCF: higher order languages and quantum circuits" Technical report. |
| 2017 | |
| Paolini, Piccolo and Luca | "A class of Recursive Permutations which is Primitive Recursive complete" Technical report. |
| 2015 | |
| Paolini, Piccolo and Roversi | "Big and Small-step Operational Semantics of the Reversible Programming Language Janus" Technical report. |
| 2012 | |
| Aldinucci, Danelutto and Torquati | "FastFlow tutorial" Technical report. |
| 2011 | |
| Aldinucci, Drocco, Giordano, Spampinato and Torquati | "A Parallel Edge Preserving Algorithm for Salt and Pepper Image Denoising" Technical report. |
| Aldinucci, Ruggieri and Torquati | "Porting Decision Tree Building and Pruning Algorithms to Multicore using FastFlow" Technical report. |
| Aldinucci, Anardu, Danelutto, Kilpatrick and Torquati | "Targeting multi cores by structured programming and data flow" Technical report. |
| 2010 | |
| Aldinucci, Danelutto, Kilpatrick, Meneghin and Torquati | "Accelerating sequential programs using FastFlow and self-offloading" Technical report. |
| Aldinucci, Coppo, Damiani, Drocco, Torquati and Troina | "On Designing Multicore-Aware Simulators for Biological Systems" Technical report. |
| Aldinucci, Ruggieri and Torquati | "Porting Decision Tree Algorithms to Multicore using FastFlow" Technical report. |
| Aldinucci, Bracciali, Liò, Sorathiya and Torquati | "StochKit-FF: Efficient Systems Biology on Multicore Architectures" Technical report. |
| 2009 | |
| Aldinucci, Danelutto and Kilpatrick | "Autonomic management of multiple non-functional concerns in behavioural skeletons" Technical report. |
| Aldinucci, Torquati and Meneghin | "FastFlow: Efficient Parallel Streaming Applications on Multi-core" Technical report. |
| 2008 | |
| Aldinucci, Danelutto and Kilpatrick | "Hierarchical autonomic management: a case study with skeletal systems" Technical report. |
| Aldinucci, Campa, Coppola, Danelutto, Zoppi, Basso, Bolotov, Baude, Bouziane, Caromel, Henrio, Pérez, Cunha, Michael, Classen, Lengauer, Cohen, Mc Gough, Currle-Linde, Dazzi, Tonellotto, Dünnweber, Gorlatch, Kilpatrick, Ranaldo and Zimeo | "Proceedings of the Programming Model Institute Technical meeting 2008" Technical report. |
| Aldinucci and Tuosto | "Toward a Formal Semantics for Autonomic Components" Technical report. |
| Aldinucci, Danelutto, Bouziane and Pérez | "Towards Software Component Assembly Language Enhanced with Workflows and Skeletons" Technical report. |
| Aldinucci, Danelutto, Bouziane and Pérez | "Towards a Spatio-Temporal sKeleton Model implementation on top of SCA" Technical report. |
| Oprescu, Kielmann, Danelutto and Aldinucci | "Autonomic Behavior of Grid Applications using Component Platforms" Technical report. |
| Roversi | "Weak Affine Light Typing is complete with respect to Safe Recursion on Notation" Technical report. |
| 2007 | |
| Aldinucci, Campa, Danelutto, Kilpatrick, Dazzi, Laforenza and Tonellotto | "Behavioural skeletons for component autonomic management on grids" Technical report. |
| Aldinucci, Danelutto and Kilpatrick | "Management in distributed systems: a semi-formal approach" Technical report. |
| Aldinucci, Danelutto and Kilpatrick | "Orc + metadata supporting grid programming" Technical report. |
| Aldinucci, Torquati, Vanneschi, Cacitti, Gervaso and Zuccato | "VirtuaLinux Design Principles" Technical report. |
| Berardi and de' Liguoro | "Limit of learning sequences with retractable guesses" Technical report. |
| Danelutto, Aldinucci and Kilpatrick | "Prototyping and reasoning about distributed systems: an Orc based framework" Technical report. |
| Kilpatrick, Danelutto and Aldinucci | "Deriving Grid Applications from Abstract Models" Technical report. |
| Roversi | "Weak Affine Light Typing: Intensional expressivity, Polytime soundness and completeness" Technical report. |
| 2006 | |
| Aldinucci, Antoniu, Danelutto and Jan | "Fault-Tolerant Data Sharing for High-level Grid Programming: A Hierarchical Storage Architecture" Technical report. |
| Aldinucci, Bertolli, Campa, Coppola, Vanneschi, Veraldi and Zoccolo | "Self-Configuring and Self-Optimising Grid Components in the GCM model and their ASSIST Implementation" Technical report. |
| Aldinucci and Danelutto | "The cost of security in skeletal systems" Technical report. |
| 2005 | |
| Aldinucci and Benoit | "Automatic mapping of ASSIST applications using process algebra" Technical report. |
| Aldinucci, Danelutto, Paternesi, Ravazzolo and Vanneschi | "Building Interoperable Grid-aware ASSIST Applications via Web Services" Technical report. |
| Aldinucci, Petrocelli, Pistoletti, Torquati, Vanneschi, Veraldi and Zoccolo | "Dynamic reconfiguration of Grid-aware applications in ASSIST" Technical report. |
| Aldinucci, Danelutto, Dünnweber and Gorlatch | "Optimization Techniques for Implementing Parallel Skeletons in Distributed Environments" Technical report. |
| Aldinucci, André, Buisson, Campa, Coppola, Danelutto and Zoccolo | "Parallel program/component adaptivity management" Technical report. |
| Aldinucci, Danelutto, Giaccherini, Torquati and Vanneschi | "Towards a distributed scalable data service for the Grid" Technical report. |
| Dünnweber, Gorlatch, Campa, Aldinucci and Danelutto | "Behavior Customization of Parallel Components Application Programming" Technical report. |
| 2004 | |
| Aldinucci, Coppola, Danelutto, Vanneschi and Zoccolo | "ASSIST as a Research Framework for High-performance Grid Programming Environments" Technical report. |
| Aldinucci and Torquati | "Accelerating Apache farms through ad-HOC distributed scalable objects repository" Technical report. |
| Lescanne and Likavec | "Understanding untyped λμμ̃-calculus" Technical report. |
| 2002 | |
| Aldinucci and Danelutto | "An operational semantic for skeletons" Technical report. |
| 2000 | |
| van Bakel, Dezani-Ciancaglini, de' Liguoro and Motohama | "The Minimal Relevant Logic and the Call-by-Value Lambda Calculus" Technical report. |
| 1996 | |
| Giannini and Ricaldone | "Multiple Inheritance and Class Composition" Technical report. |
| de' Liguoro | "PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke)" Technical report. |
| 1995 | |
| Margaria and Zacchi | "Infinite Intersection Type Theory" Technical report. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
