Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

Relating timed and register automata

Author:Abdulla, Benedikt, Bojańczyk, Bouyer, Chambart, DIEGO FIGUEIRA, Figueira, Jenkins, Lasota, Lazić, Ouaknine, Ouaknine, Ouaknine, Parys, PIOTR HOFMAN, SŁAWOMIR LASOTA
Publisher:Cambridge University Press (CUP)
Abstract: Timed automata and register automata are well-known models of computation over timed and data words…

Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation

Author:Davide Cingolani, Mauro Ianni, Alessandro Pellegrini, Francesco Quaglia
Publisher:Springer Science and Business Media LLC
Abstract: Speculative parallel discrete event simulation requires a support for reversing processed events, a…

Transformations of Logic Programs on Infinite Lists

Author:A. Pettorossi, Consiglio Nazionale, Delle Ricerche, M. Proietti, V. Senni
Publisher:Cambridge University Press (CUP)
Abstract: We consider an extension of logic programs, called \omega-programs, that can be used to define pred…

Transparent support for partial rollback in software transactional memories

Author:Alice Porfirio, PIERANGELO DI SANZO, ALESSANDRO PELLEGRINI, Francesco QUAGLIA
Publisher:Springer Science and Business Media LLC
Abstract: The Software Transactional Memory (STM) paradigm has gained momentum thanks to its ability to provi…

Load sharing for optimistic parallel simulations on multicore machines

Author:ALESSANDRO PELLEGRINI, Francesco QUAGLIA, Roberto VITALI
Publisher:Association for Computing Machinery (ACM)
Abstract: Parallel Discrete Event Simulation (PDES) is based on the partitioning of the simulation model into…

Platforms and Protocols for the Internet of Things

Author:Chiara Pielli, Lorenzo Vangelista, Andrea Zanella, Michele Zorzi, Daniel Zucchetto
Publisher:European Alliance for Innovation n.o.
Abstract: Building a general architecture for the Internet of Things (IoT) is a very complex task, exacerbate…

Optimal Content Downloading in Vehicular Networks

Author:Claudio Ettore Casetti, Chiasserini C.-F., Marco Fiore, Francesco Malandrino
Publisher:EE
Abstract: We consider a system where users aboard communication-enabled vehicles are interested in downloadin…

Verifying collision avoidance behaviours for unmanned surface vehicles using probabilistic model checking

Author:Yu Lu, Hanlin Niu, Al Savvaris, Antonios Tsourdos
Publisher:Elsevier BV
Abstract: Collision avoidance is an essential safety requirement for unmanned surface vehicles (USVs). Normal…

Tabling as a Library with Delimited Control

Author:Benoit Desouter, Tom Schrijvers, Marko van Dooren
Publisher:Cambridge University Press (CUP)
Abstract: Tabling is probably the most widely studied extension of Prolog. But despite its importance and pra…

Zigbee as a means to reduce the number of blind spot incidents of a truck

Author:Steven De Lausnay, Francis Goeminne, Wout Joseph, Luc Martens, Thomas Standaert, Nobby Stevens, Leen Verloock
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Every year in Europe, about 1500 people die in traffic because they are not noticed by the truck dr…
Privacy Policy
Powered by: