UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Division is "Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA" and Year is 2011

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Number of items: 17.

Aldinucci, Marco and Anardu, L and Danelutto, Marco and Kilpatrick, Peter and Torquati, Massimo (2011) Targeting multi cores by structured programming and data flow. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Aldinucci, Marco and Ruggieri, Salvatore and Torquati, Massimo (2011) Porting Decision Tree Building and Pruning Algorithms to Multicore using FastFlow. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2011) Proving Translation and Reduction Semantics Equivalent for Java Simple Closures: Extended Version. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Frangioni, Antonio and Zhang, Qinghua (2011) Beyond canonical DC programs: the single reverse polar problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Passacantando, Mauro (2011) Gap functions and penalization for solving equilibrium problems with nonlinear constraints. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo (2011) Constraints for Service Contracts. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciuffoletti, Augusto (2011) Preventing the collision of requests from slave clocks in the Precision Time Protocol (PTP). IEEE Transactions on Instrumentation and Measurement, 60 (6). pp. 2096-2103. ISSN 0018-9456

Degano, Pierpaolo and Mezzetti, Gianluca and Ferrari, Gianluigi (2011) Nominal models and resource usage control. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Dittamo, Cristian and Gervasi, Vincenzo and Boerger, Egon and Cisternino, Antonio (2011) A formal specification of the semantics of ECMAScript. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Gorgone, Enrico (2011) Generalized Bundle Methods for Sum-Functions with ''Easy'' Components: Applications to Multicommodity Network Design. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallicchio, Claudio and Micheli, Alessio and Barsocchi, Paolo and Chessa, Stefano (2011) Reservoir Computing Forecasting of User Movements from RSS Mote-Class Sensors Measurement. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luong, Binh Thanh and Ruggieri, Salvatore and Turini, Franco (2011) k-NN as an Implementation of Situation Testing for Discrimination Discovery and Prevention. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Marco, Bellia and Occhiuto, Maria Eugena (2011) {Java$\Omega$: Higher Order Programming in Java -- The Technical Complements. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Mencagli, Gabriele and Vanneschi, Marco (2011) Performance Analysis of Computation Graphs of Parallel Modules. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Romei, Andrea and Ruggieri, Salvatore (2011) A multidisciplinary survey on discrimination analysis. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Romei, Andrea and Turini, Franco (2011) Programming the KDD process using XQuery. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Vanneschi, Marco and Mencagli, Gabriele (2011) QoS-control of Structured Parallel Computations: a Predictive Control Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Tue Dec 23 00:01:18 2014 CET.