You are here

2008

  1. Marco Bozzano; Alessandro Cimatti; Andrea Guiotto; Andrea Martelli; Marco Roveri; Andrei Tchaltsev; Yuri Yushtein,
    On-Board Autonomy via Symbolic Model Based Reasoning,
    Proceedings of 10th Workshop on Advanced Space Technologies for Robotics and Automation,
    Noordwijk,
    2008
    , (ASTRA 2008,
    Noordwijk, The Netherlands,
    11/11/2008 - 13/11/2008)
  2. Alessandro Cimatti; Andrea Guiotto; Marco Roveri,
    On Board Model Checking for Space Applications,
    Proceedings of ESA Workshop on Avionics Data, Control and Software Systems,
    Noordwijk,
    2008
    , pp. 10-
    11
    , (ADCSS,
    Noordwijk, The Netherlands,
    29/10/2008 - 31/10/2008)
  3. Anna Förster; Amy Lynn Murphy; Jochen H Schiller; Kirsten Terfloth,
    An Efficient Implementation of Reinforcement Learning Based Routing on Real WSN Hardware,
    IEEE International Conference on Wireless & Mobile Computing, Networking & Communication (WiMob 2008),
    IEEE Computer Society,
    2008
    , pp. 247-
    252
    , (IEEE International Conference on Wireless & Mobile Computing, Networking & Communication (WiMob 2008),
    Avignon, France,
    12/10/2008 - 14/10/2008)
  4. Davide Frey; Amy Lynn Murphy,
    Failure-Tolerant Overlay Trees for Large-Scale Dynamic Networks,
    Eighth International Conference on Peer-to-Peer (PP `08),
    IEEE Computer Society,
    2008
    , pp. 351-
    361
    , (Eighth International Conference on Peer-to-Peer (PP `08),
    Aachen, Germany,
    08/09/2008 - 11/09/2008)
  5. Michele Lanza; Amy Lynn Murphy; Romain Robbes; Mircea Lungu; Paolo Bonzini; Marco D`Ambros; Richard Wettel,
    A Teamwork-Based Approach to Programming Fundamentals with Scheme, Smalltalk & Java,
    ACM/IEEE 30th International Conference on Software Engineering, 2008. ICSE `08,
    ACM,
    2008
    , pp. 787-
    790
    , (ACM/IEEE 30th International Conference on Software Engineering, 2008. ICSE `08,
    Leipzig, Germany,
    10/05/2008 - 18/05/2008)
  6. Matteo Ceriotti; Amy Lynn Murphy; Gian Pietro Picco,
    Data Sharing vs. Message Passing: Synergy or Incompatibility? An Implementation-Driven Case Study,
    ACM Symposium on Applied Computing (SAC 2008),
    ACM,
    2008
    , pp. 100-
    107
    , (ACM Symposium on Applied Computing (SAC 2008),
    Fortaleza, Ceara, Brazil,
    16/03/2008 - 20/03/2008)
  7. Anna Förster; Amy Lynn Murphy,
    Balancing Energy Expenditure in WSNs through Reinforcement Learning: A Study,
    Workshop on Energy in Wireless Sensor Networks (WEWSN 2008),
    IEEE,
    2008
    , (Workshop on Energy in Wireless Sensor Networks (WEWSN 2008),
    Santorini Island, Greece,
    14/06/2008)
  8. Matteo Ceriotti; Amy Lynn Murphy,
    Introducing an adaptive MAC layer to support Quality of Service in WSN,
    Proceedings of the 5th European conference on Wireless Sensor Networks,
    Springer,
    vol.4913,
    2008
    , (Proceedings of the 5th European conference on Wireless Sensor Networks,
    Bologna, Italy,
    30/01/2008 - 01/02/2008)
  9. Alessandro Cimatti; Robert B. Jones (eds.),
    Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008,
    Piscataway, NJ,
    IEEE,
    2008
  10. Alessandro Cimatti; Marco Bozzano; Adolfo Villafiorita,
    2008,

Pages