CINECA IRIS Institutional Research Information System

Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 261 a 280 di 325
Titolo Data di pubblicazione Autore(i) File
Space-time universality of field calculus 2018 Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Viroli, Mirko
Splitting Recursion Schemes into Reversible and Classical Interacting Threads 2021 Armando Matos; Paolini Luca; Roversi Luca
STKM on SCA: A unified framework with components, workflows and algorithmic skeletons 2009 Marco Aldinucci; Hinde Lilia Bouziane; Marco Danelutto; Christian Pérez
StochKit-FF: Efficient systems biology on multicore architectures 2011 Marco Aldinucci; Andrea Bracciali; Pietro Liò; Anil Sorathiya; Massimo Torquati
Storygraphia: The Constrained Tool for IDN Authoring Education 2022 Lombardo, V
Strict Divergence for Probabilistic Timed Automata 2009 J. SPROSTON
Strong Normalization of the Dual Classical Sequent Calculus 2005 S. GHILEZAN; S. LIKAVEC; P. LESCANNE; D. DOUGHERTY
Structural characterization and qualitative properties of Product Form Stochastic Petri Nets 2001 S. HADDAD; P. MOREAUX; M. SERENO; M. SILVA
Structured Communications with Concurrent Constraints 2009 Mario Coppo; Mariangiola Dezani
Structured Data Access Annotations for Massively Parallel Computations 2013 Marco Aldinucci; Sonia Campa; Peter Kilpatrick; Massimo Torquati
Subtyping Constraints for Incomplete Objects 1997 VIVIANA BONO; MICHELE BUGLIESI; M. DEZANI; LUIGI LIQUORI
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects 1995 V. Bono;L. Liquori
SWN Analysis and Simulation of Large Knockout ATM Switches 1998 R. GAETA; AJMONE MARSAN M.
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation 1999 L.CAPRA; R. GAETA; AND O.BOTTI
Synthesis of collective tag-based opinions in the social web 2011 F. Cena; S. Likavec; I. Lombardi; C. Picardi
Tagged Generalized Stochastic Petri Nets 2009 G. Balbo; M. De Pierro; G. Franceschinis
Tailoring the recommendation of tourist information to heterogeneous user groups 2002 L. Ardissono; A. Goy; G. Petrone; M. Segnan; P. Torasso
Taming Modal Impredicativity: Superlazy Reduction 2009 Ugo Dal Lago; Luca Roversi; Luca Vercelli
Targeting Distributed Systems in FastFlow 2013 Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
Targeting heterogeneous architectures in ASSIST: Experimental results 2004 Marco Aldinucci; Sonia Campa; Massimo Coppola; Silvia Magini; Paolo Pesciullesi; Laura Potiti; Roberto Ravazzolo; Massimo Torquati; Corrado Zoccolo
Mostrati risultati da 261 a 280 di 325
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile