Concept
Computation tree logic
Publications associées (31)
Unlocking Controllable-Polarity Transistors Opportunities by Exclusive-OR and Majority Logic Synthesis
Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù
For more than four decades, Complementary Metal-Oxide- Semiconductor (CMOS) Field Effect Transistors (FETs) have been the baseline technology for implementing digital computation systems. CMOS transistors natively implement Not-AND ...
2014Interactive Multiview Video System With Low Complexity 2D Look Around at Decoder
Pascal Frossard, Thomas Maugey
Multiview video with interactive and smooth view switching at the receiver is a challenging application with several issues in terms of effective use of storage and bandwidth resources, reactivity of the system, quality of the viewing experience and system ...
Ieee-Inst Electrical Electronics Engineers Inc2013From Liveness to Promptness
Liveness temporal properties state that something
2007good'' eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bound on the wait time'' for an eventually to be fulfilled. That is, ...Evolving Objects in Temporal Information Systems
Stefano Spaccapietra, Christine Parent
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modelling language able to express both timestamping and evolution constraints. We conduct a deeper investigation of evolutio ...
2007