Sfoglia per Serie
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions
2023-01-01 Olliaro Diletta; Balbo Gianfranco; Marin Andrea; Sereno Matteo
Smooth Orchestrators
2006-01-01 Laneve, C.; Padovani, Luca
SNexpression: A Symbolic Calculator for Symmetric Net Expressions
2020-01-01 Capra L.; De Pierro M.; Franceschinis G.
Solving Chance-Constrained Programs combining Tabu Search and Simulation
2004-01-01 R. ARINGHIERI
Solving Parity Games on Integer Vectors
2013-01-01 P. A. ABDULLA; R. MAYR; A. SANGNIER; J. SPROSTON
Some Thoughts about Commitment Protocols (Position Paper)
2013-01-01 Matteo Baldoni; Cristina Baroglio
Soundness Conditions for Big-Step Semantics
2020-01-01 Dagnino F.; Bono V.; Zucca E.; Dezani-Ciancaglini M.
Space-time universality of field calculus
2018-01-01 Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Viroli, Mirko
Splitting Recursion Schemes into Reversible and Classical Interacting Threads
2021-01-01 Armando Matos; Paolini Luca; Roversi Luca
STKM on SCA: A unified framework with components, workflows and algorithmic skeletons
2009-01-01 Marco Aldinucci; Hinde Lilia Bouziane; Marco Danelutto; Christian Pérez
StochKit-FF: Efficient systems biology on multicore architectures
2011-01-01 Marco Aldinucci; Andrea Bracciali; Pietro Liò; Anil Sorathiya; Massimo Torquati
Storygraphia: The Constrained Tool for IDN Authoring Education
2022-01-01 Lombardo, V
Strict Divergence for Probabilistic Timed Automata
2009-01-01 J. SPROSTON
Strong Normalization of the Dual Classical Sequent Calculus
2005-01-01 S. GHILEZAN; S. LIKAVEC; P. LESCANNE; D. DOUGHERTY
Structural characterization and qualitative properties of Product Form Stochastic Petri Nets
2001-01-01 S. HADDAD; P. MOREAUX; M. SERENO; M. SILVA
Structured Communications with Concurrent Constraints
2009-01-01 Mario Coppo; Mariangiola Dezani
Structured Data Access Annotations for Massively Parallel Computations
2013-01-01 Marco Aldinucci; Sonia Campa; Peter Kilpatrick; Massimo Torquati
Subtyping Constraints for Incomplete Objects
1997-01-01 VIVIANA BONO; MICHELE BUGLIESI; M. DEZANI; LUIGI LIQUORI
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
1995-01-01 V. Bono;L. Liquori
SWN Analysis and Simulation of Large Knockout ATM Switches
1998-01-01 R. GAETA; AJMONE MARSAN M.
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