Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Automatic Verification Methods for Finite State Systems [[electronic resource] ] : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings / / edited by Joseph Sifakis
| Automatic Verification Methods for Finite State Systems [[electronic resource] ] : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings / / edited by Joseph Sifakis |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (XI, 384 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Mathematical logic Software engineering Special purpose computers Theory of Computation Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Special Purpose and Application-Based Systems |
| ISBN | 3-540-46905-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Process calculi, from theory to practice: Verification tools -- Testing equivalence as a bisimulation equivalence -- The concurrency workbench -- Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra -- Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications -- Verifying properties of large sets of processes with network invariants -- A method for verification of trace and test equivalence -- Projections of the reachability graph and environment models -- Proving properties of elementary net systems with a special-purpose theorem prover -- Verification by abstraction and bisimulation -- MEC : a system for constructing and analysing transition systems -- Fair SMG and linear time model checking -- Network grammars, communication behaviors and automatic verification -- CCS, liveness, and local model checking in the linear time mu-calculus -- Implementing a model checking algorithm by adapting existing automated tools -- On-line model-checking for finite linear temporal logic specifications -- Timing assumptions and verification of finite-state concurrent systems -- Specifying, programming and verifying real-time systems using a synchronous declarative language -- Modal specifications -- Automated verification of timed transition models -- Temporal logic case study -- The complexity of collapsing reachability graphs -- What are the limits of model checking methods for the verification of real life protocols? -- Requirement analysis for communication protocols -- State exploration by transformation with lola -- Parallel protocol verification: The two-phase algorithm and complexity analysis -- Formal verification of synchronous circuits based on string-functional semantics: The 7 paillet circuits in boyer-moore -- Combining CTL, trace theory and timing models -- Localized verification of circuit descriptions -- Verification of synchronous sequential machines based on symbolic execution -- Parallel composition of lockstep synchronous processes for hardware validation: Divide-and-conquer composition. |
| Record Nr. | UNISA-996465732203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Embedded Software [[electronic resource] ] : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings / / edited by Alberto Sangiovanni-Vincentelli, Joseph Sifakis
| Embedded Software [[electronic resource] ] : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings / / edited by Alberto Sangiovanni-Vincentelli, Joseph Sifakis |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 430 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Software engineering Operating systems (Computers) Computer logic Special purpose computers Computer Applications Software Engineering/Programming and Operating Systems Operating Systems Logics and Meanings of Programs Special Purpose and Application-Based Systems |
| ISBN | 3-540-45828-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Embedded Systems: Challenges in Specification and Verification -- An Approach to Designing Safe Embedded Software -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems -- A Giotto-Based Helicopter Control System -- Principles of Real-Time Programming -- Time-Safety Checking for Embedded Programs -- Compositional Modeling in Metropolis -- Timed Interfaces -- Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System -- Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS -- Scalable Applications for Energy-Aware Processors -- Upgrading Embedded Software in the Field: Dependability and Survivability -- Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems -- JCOD: A Lightweight Modular Compilation Technology for Embedded Java -- Decreasing Memory Overhead in Hard Real-Time Garbage Collection -- Speedup Prediction for Selective Compilation of Embedded Java Programs -- Synchronous Modelling of Asynchronous Systems -- A Protocol for Loosely Time-Triggered Architectures -- Automatic Production of Globally Asynchronous Locally Synchronous Systems -- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems -- Toward an Approximation Theory for Computerised Control -- A New Facility for Dynamic Control of Program Execution: DELI -- Design Tools for Application Specific Embedded Processors -- Processor Pipelines and Their Properties for Static WCET Analysis -- ILP-Based Interprocedural Path Analysis -- Enhancing Compiler Techniques for Memory Energy Optimizations -- FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors -- Physical Programming: Beyond Mere Logic -- Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. |
| Record Nr. | UNISA-996465537703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Embedded Software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings / / edited by Alberto Sangiovanni-Vincentelli, Joseph Sifakis
| Embedded Software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings / / edited by Alberto Sangiovanni-Vincentelli, Joseph Sifakis |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 430 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Software engineering Operating systems (Computers) Computer logic Special purpose computers Computer Applications Software Engineering/Programming and Operating Systems Operating Systems Logics and Meanings of Programs Special Purpose and Application-Based Systems |
| ISBN | 3-540-45828-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Embedded Systems: Challenges in Specification and Verification -- An Approach to Designing Safe Embedded Software -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems -- A Giotto-Based Helicopter Control System -- Principles of Real-Time Programming -- Time-Safety Checking for Embedded Programs -- Compositional Modeling in Metropolis -- Timed Interfaces -- Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System -- Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS -- Scalable Applications for Energy-Aware Processors -- Upgrading Embedded Software in the Field: Dependability and Survivability -- Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems -- JCOD: A Lightweight Modular Compilation Technology for Embedded Java -- Decreasing Memory Overhead in Hard Real-Time Garbage Collection -- Speedup Prediction for Selective Compilation of Embedded Java Programs -- Synchronous Modelling of Asynchronous Systems -- A Protocol for Loosely Time-Triggered Architectures -- Automatic Production of Globally Asynchronous Locally Synchronous Systems -- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems -- Toward an Approximation Theory for Computerised Control -- A New Facility for Dynamic Control of Program Execution: DELI -- Design Tools for Application Specific Embedded Processors -- Processor Pipelines and Their Properties for Static WCET Analysis -- ILP-Based Interprocedural Path Analysis -- Enhancing Compiler Techniques for Memory Energy Optimizations -- FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors -- Physical Programming: Beyond Mere Logic -- Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. |
| Record Nr. | UNINA-9910143898003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Embedded Systems Design [[electronic resource] ] : The ARTIST Roadmap for Research and Development / / edited by Bruno Bouyssounouse, Joseph Sifakis
| Embedded Systems Design [[electronic resource] ] : The ARTIST Roadmap for Research and Development / / edited by Bruno Bouyssounouse, Joseph Sifakis |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XVI, 496 p.) |
| Disciplina | 004.16 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Special purpose computers
Software engineering Programming languages (Electronic computers) Computer communication systems Operating systems (Computers) Management information systems Computer science Special Purpose and Application-Based Systems Software Engineering Programming Languages, Compilers, Interpreters Computer Communication Networks Operating Systems Management of Computing and Information Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hard Real-Time Development Environments -- Executive Overview on Hard Real-Time Development Environments -- Hard Real-Time System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Tools for Requirements Capture and Exploration -- Tools for Architecture Design and Capture -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation -- Middleware for Implementing Hard Real-Time Systems -- Review of Some Advanced Methodologies -- Component-Based Design and Integration Platforms -- Executive Overview on Component-Based Design and Integration Platforms -- Component-Based System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Components and Contracts -- Component Models and Integration Platforms: Landscape -- Standardization Efforts -- References -- Adaptive Real-Time Systems for Quality of Service Management -- Executive Overview on Adaptive Real-Time Systems for Quality of Service Management -- Adaptive Real-Time System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Real-Time Scheduling -- Real-Time Operating Systems -- QoS Management -- Real-Time Middleware -- Networks -- Programming Languages for Real-Time Systems -- Other Issues -- Execution Platforms -- Executive Overview on Execution Platforms -- Current Design Practice and Needs in Selected Sectors -- Computing Platforms -- Low Power Engineering. |
| Record Nr. | UNISA-996465684903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||