Výsledky vyhledávání - "Science of Computer Programming"

A pragma based C++ framework for hybrid quantum/classical computation Autor Koska, Océane, Gazda, Arnaud

“…Quantum computers promise exponential speed ups over classical computers for various tasks. This emerging technology is expected to have its first huge impact…”
Získat plný text

DiaSuite: A tool suite to develop Sense/Compute/Control applications Autor Bertran, Benjamin, Bruneau, Julien, Cassou, Damien, Loriant, Nicolas, Balland, Emilie, Consel, Charles

“…We present DiaSuite, a tool suite that uses a software design approach to drive the development process. DiaSuite focuses on a specific domain, namely…”
Získat plný text

Symmetry reduction for time Petri net state classes Autor Bourdil, Pierre-Alain, Berthomieu, Bernard, Dal Zilio, Silvano, Vernadat, François

“…We propose a method to exploit the symmetries of a real-time system represented by a Time Petri net for its verification by model-checking. The method handles…”
Získat plný text

Constructive polychronous systems Autor Talpin, Jean-Pierre, Brandt, Jens, Gemünde, Mike, Schneider, Klaus, Shukla, Sandeep

“…The synchronous paradigm provides a logical abstraction of time for reactive system design which allows automatic synthesis of embedded systems that behave in…”
Získat plný text

Introduction to the ABZ 2014 special issue Autor Ait-Ameur, Yamine, Schewe, Klaus-Dieter

Získat plný text

Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages Autor Arnaud, Jean-Baptiste, Ducasse, Stéphane, Denker, Marcus, Teruel, Camille

“…Controlling object graphs and giving specific semantics to references (such as read-only, ownership, scoped sharing) have been the focus of a large body of…”
Získat plný text

Preface to the special issue on advances in Smalltalk based systems Autor Lagadec, Loïc, Plantec, Alain

Získat plný text

A hybrid approach for resource-based comparison of adaptable Java applications Autor Autili, Marco, Di Benedetto, Paolo, Inverardi, Paola

“…During the last decade, context-awareness and adaptation have been receiving significant attention in many research areas. For application developers, the…”
Získat plný text

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony Autor Besnard, Loïc, Bouakaz, Adnan, Gautier, Thierry, Le Guernic, Paul, Ma, Yue, Talpin, Jean-Pierre, Yu, Huafeng

Získat plný text