ktalog 2013 retis-2

8

description

ktalog 2013 retis-2

Transcript of ktalog 2013 retis-2

Page 1: ktalog 2013 retis-2
Page 2: ktalog 2013 retis-2
Page 3: ktalog 2013 retis-2
Page 4: ktalog 2013 retis-2
Page 5: ktalog 2013 retis-2
Page 6: ktalog 2013 retis-2
Page 7: ktalog 2013 retis-2
Page 8: ktalog 2013 retis-2

CV of BioRobotics - ReTiS Labretis.sssup.it/phd-engineering/slides/biorobotics.pdfThe research activity concerns the development of wearable sensor systems for ambulatory human movement

CV of BioRobotics - ReTiS Labretis.sssup.it/phd-engineering/slides/biorobotics.pdfThe research activity concerns the development of wearable sensor systems for ambulatory human movement

C++ Machine Objects (MACHO) - ReTiS Labretis.sssup.it/~marco/files/lesson-StateMachinesMacho.pdf · classes. State transitions are performed by instantiating objects of these classes.

C++ Machine Objects (MACHO) - ReTiS Labretis.sssup.it/~marco/files/lesson-StateMachinesMacho.pdf · classes. State transitions are performed by instantiating objects of these classes.

Deep Learning Tools - ReTiS Lab |retis.sssup.it/~giorgio/slides/neural/nw8-deep-impl.pdf · • Image Recognition ... Google, C++ – Theano: Univ, ... – Open Neural Network Exchange

Deep Learning Tools - ReTiS Lab |retis.sssup.it/~giorgio/slides/neural/nw8-deep-impl.pdf · • Image Recognition ... Google, C++ – Theano: Univ, ... – Open Neural Network Exchange

Introduction to CTL - ReTiS Labretis.sssup.it/~marco/files/lesson12-introduction_to_formal... · Introduction to CTL. ... • Uppaal uses a simplified version of CTL. CTL CTL: ...

Introduction to CTL - ReTiS Labretis.sssup.it/~marco/files/lesson12-introduction_to_formal... · Introduction to CTL. ... • Uppaal uses a simplified version of CTL. CTL CTL: ...

Land control and monitoring system for fire prevention - ReTiS Lab

Land control and monitoring system for fire prevention - ReTiS Lab

Real-timesupportforHCCAfunctioninIEEE802.11enetworks:a ... · devices which support multimedia applications ∗Correspondence to: Gabriele Cecchetti, Retis Lab., Scuola Superiore

Real-timesupportforHCCAfunctioninIEEE802.11enetworks:a ... · devices which support multimedia applications ∗Correspondence to: Gabriele Cecchetti, Retis Lab., Scuola Superiore

Embedded O.S. - ReTiS Lab

Embedded O.S. - ReTiS Lab

Object Oriented Software Design II - ReTiS Labretis.sssup.it/~lipari/courses/oosd2011-2/01.summary.pdf · Outline 1 Course contents 2 Introduction to C++ 3 Classes 4 Access Control

Object Oriented Software Design II - ReTiS Labretis.sssup.it/~lipari/courses/oosd2011-2/01.summary.pdf · Outline 1 Course contents 2 Introduction to C++ 3 Classes 4 Access Control

lesson16 unit test cunit cmockery - ReTiS Labretis.sssup.it/~marco/files/lesson16_unit_test_cunit_cmockery.pdf · • A typical sequence of steps for using the CUnit framework is:

lesson16 unit test cunit cmockery - ReTiS Labretis.sssup.it/~marco/files/lesson16_unit_test_cunit_cmockery.pdf · • A typical sequence of steps for using the CUnit framework is:

ReTiS Lab | - REACTION 2013retis.sssup.it/reaction2013/REACTION-2013-Proceedings.pdf · 2013-12-11 · Experimental evaluation of the real-time performance of publish-subscribe middlewares

ReTiS Lab | - REACTION 2013retis.sssup.it/reaction2013/REACTION-2013-Proceedings.pdf · 2013-12-11 · Experimental evaluation of the real-time performance of publish-subscribe middlewares

lesson9-controller area network - ReTiS Labretis.sssup.it/~marco/files/lesson9-controller_area_network.pdf · Controller Area Network Marco Di Natale Scuola Superiore S. Anna- Pisa,

lesson9-controller area network - ReTiS Labretis.sssup.it/~marco/files/lesson9-controller_area_network.pdf · Controller Area Network Marco Di Natale Scuola Superiore S. Anna- Pisa,

Workshop jAPS - Retis - Intranet TeleCC

Workshop jAPS - Retis - Intranet TeleCC

- 1Copyright © Paolo Gai 2005 - pj@evidence.eu.com ReTiS Lab Scuola Superiore S. Anna Pisa.

- 1Copyright © Paolo Gai 2005 - [email protected] ReTiS Lab Scuola Superiore S. Anna Pisa.

Survey of multicore architectures Marko Bertogna Scuola Superiore S.Anna, ReTiS Lab, Pisa, Italy.

Survey of multicore architectures Marko Bertogna Scuola Superiore S.Anna, ReTiS Lab, Pisa, Italy.

Design Patterns in C++ - ReTiS Labretis.sssup.it/~lipari/courses/oosd2010-2/07.metaprogramming.pdf · Design Patterns in C++ ... compiler can actually make some simple calculation,

Design Patterns in C++ - ReTiS Labretis.sssup.it/~lipari/courses/oosd2010-2/07.metaprogramming.pdf · Design Patterns in C++ ... compiler can actually make some simple calculation,

Fundamentals of Programming Outline - ReTiS Labretis.sssup.it/~lipari/courses/infbase2012/01.intro-handout.pdf · Fundamentals of Programming Introduction to Computer Science Giuseppe

Fundamentals of Programming Outline - ReTiS Labretis.sssup.it/~lipari/courses/infbase2012/01.intro-handout.pdf · Fundamentals of Programming Introduction to Computer Science Giuseppe

Fundamentals of Programming - ReTiS Labretis.sssup.it/~lipari/courses/infbase2012/09.state_machines.pdf · Fundamentals of Programming Finite State Machines Giuseppe Lipari lipari

Fundamentals of Programming - ReTiS Labretis.sssup.it/~lipari/courses/infbase2012/09.state_machines.pdf · Fundamentals of Programming Finite State Machines Giuseppe Lipari lipari

State Machines Composition - ReTiS Labretis.sssup.it/~marco/files/lesson6-state_machines_connections.pdf · State Machines Composition Marco Di Natale marco@sssup.it. Synchrony ...

State Machines Composition - ReTiS Labretis.sssup.it/~marco/files/lesson6-state_machines_connections.pdf · State Machines Composition Marco Di Natale [email protected]. Synchrony ...

EDF Scheduling - ReTiS Labretis.sssup.it/~lipari/courses/str07/edf-handout.pdf · EDF Scheduling Giuseppe Lipari lipari Scuola Superiore Sant’Anna – Pisa May 11, 2008 Earliest

EDF Scheduling - ReTiS Labretis.sssup.it/~lipari/courses/str07/edf-handout.pdf · EDF Scheduling Giuseppe Lipari lipari Scuola Superiore Sant’Anna – Pisa May 11, 2008 Earliest

Statecharts (hierarchical FSMs) - ReTiS Labretis.sssup.it/~marco/files/lesson8-hierarchical_state_machines.pdf · Transitions, conditions and actions (Stateflow) • The following

Statecharts (hierarchical FSMs) - ReTiS Labretis.sssup.it/~marco/files/lesson8-hierarchical_state_machines.pdf · Transitions, conditions and actions (Stateflow) • The following