top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Constructing predictable real time systems / Wolfang A. Halang, Alexander D. Stoyenko
Constructing predictable real time systems / Wolfang A. Halang, Alexander D. Stoyenko
Autore Halang, Wolfgang A.
Pubbl/distr/stampa Boston ; Dordrecht ; London : Kluwer Academic, ©1991
Descrizione fisica 311 p. : ill. ; 24 cm
Disciplina 004.33
Altri autori (Persone) Stoyenko, Alexander D.
Collana The Kluwer international series in engineering and computer science
Soggetto non controllato Elaborazione dei dati in tempo reale
ISBN 0-7923-9202-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000512640403321
Halang, Wolfgang A.
Boston ; Dordrecht ; London : Kluwer Academic, ©1991
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Design of man-computer dialogues / James Martin
Design of man-computer dialogues / James Martin
Autore Martin, James <1933- >
Pubbl/distr/stampa Englewood Cliffs, New Jersey : Prentice-Hall, ©1973
Descrizione fisica 559 p. : ill. ; 25 cm
Disciplina 004.33
Collana Prentice-Hall series in automatic computation
Soggetto non controllato Elaborazione dei dati in tempo reale
Sistema uomo-macchina
ISBN 0-13-201251-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000470330403321
Martin, James <1933- >
Englewood Cliffs, New Jersey : Prentice-Hall, ©1973
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Distributed systems [[electronic resource] ] : design and algorithms / / edited by Serge Haddad ... [et al.]
Distributed systems [[electronic resource] ] : design and algorithms / / edited by Serge Haddad ... [et al.]
Pubbl/distr/stampa Hoboken, N.J., : John Wiley & Sons, 2011
Descrizione fisica 1 online resource (336 p.)
Disciplina 004.33
621.38
Altri autori (Persone) HaddadSerge
Collana ISTE
Soggetto topico Electronic data processing - Distributed processing
Peer-to-peer architecture (Computer networks)
Computer algorithms
Embedded computer systems
Real-time data processing
Soggetto genere / forma Electronic books.
ISBN 1-118-60136-X
1-299-19256-4
1-118-60146-7
1-118-60139-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Large scale peer-to-peer distributed systems -- pt. 2. Distributed, embedded and real-time systems -- pt. 3. Security in distributed systems.
Record Nr. UNINA-9910141480403321
Hoboken, N.J., : John Wiley & Sons, 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
DS-RT 2014 : 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications / / sponsor, ACM Special Interest Group on Simulation and Modeling
DS-RT 2014 : 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications / / sponsor, ACM Special Interest Group on Simulation and Modeling
Pubbl/distr/stampa Washington, District of Columbia : , : IEEE Computer Society, , 2014
Descrizione fisica 1 online resource (227 pages)
Disciplina 004.33
Soggetto topico Real-time data processing
Electronic data processing - Distributed processing
Interactive computer systems
Soggetto genere / forma Electronic books.
ISBN 1-4799-6145-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910141879403321
Washington, District of Columbia : , : IEEE Computer Society, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
DS-RT 2015 : 2015 IEEE/ACM 19th International Symposium on Distributed Simulation and Real Time Applications : proceedings : 14-16 October 2015, Chengdu, Sichuan, China / / IEEE Computer Society
DS-RT 2015 : 2015 IEEE/ACM 19th International Symposium on Distributed Simulation and Real Time Applications : proceedings : 14-16 October 2015, Chengdu, Sichuan, China / / IEEE Computer Society
Pubbl/distr/stampa Los Alamitos, California : , : IEEE Computer Society, , 2015
Descrizione fisica 1 online resource (206 pages)
Disciplina 004.33
Soggetto topico Real-time data processing
Electronic data processing - Distributed processing
Soggetto genere / forma Electronic books.
ISBN 1-4673-7822-4
1-4673-7823-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910136287203321
Los Alamitos, California : , : IEEE Computer Society, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Elaborazione real-time di stream di dati eterogenei e distribuiti [risorsa elettronica] / tesi di dottorato di: Salvatore Giordano ; tutor: Luigi Romano
Elaborazione real-time di stream di dati eterogenei e distribuiti [risorsa elettronica] / tesi di dottorato di: Salvatore Giordano ; tutor: Luigi Romano
Autore Giordano, Salvatore
Descrizione fisica 1 disco ottico (CD-ROM) ; 12 cm
Disciplina 004.33
Soggetto non controllato Elaborazione dati
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIPARTHENOPE-000028065
Giordano, Salvatore  
Risorse elettroniche
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays : [symposium held September 24-25, 2007 in Macao, China] / Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.)
Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays : [symposium held September 24-25, 2007 in Macao, China] / Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.)
Autore [Symposium held September 24-25, 2007 in Macao, China] : <2007
Pubbl/distr/stampa Berlin [etc.] : Springer 2007, copyr. 2007
Descrizione fisica XVI, 538 p. : ill. ; 24 cm
Disciplina 004.33
Collana Lecture notes in computer science, Festschrift
Soggetto topico Elaborazione in tempo reale - Congressi - Macao - 2007
ISBN 978-3-540-75220-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003147220203316
[Symposium held September 24-25, 2007 in Macao, China] : <2007  
Berlin [etc.] : Springer 2007, copyr. 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal methods for the design of real-time systems : International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : Revised Lectures / Marco Bernardo, Flavio Corradini (eds.)
Formal methods for the design of real-time systems : International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : Revised Lectures / Marco Bernardo, Flavio Corradini (eds.)
Autore International School on Formal Methods for the Design of Computer, Communication and Software Systems : <4. : ; 2004
Pubbl/distr/stampa Berlin [etc.], : Springer, 2004
Descrizione fisica VI, 293 p. ; 24 cm.
Disciplina 004
004.33
Collana Lecture notes in computer science
Soggetto topico Elaborazione dei dati - Congressi - 2004
ISBN 3540230688
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-RMS1173283
International School on Formal Methods for the Design of Computer, Communication and Software Systems : <4. : ; 2004  
Berlin [etc.], : Springer, 2004
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 ; proceedings / / Editors, Franck Cassez and Claude Jard
Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 ; proceedings / / Editors, Franck Cassez and Claude Jard
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Germany ; ; New York, New York : , : Springer, , [2008]
Descrizione fisica 1 online resource (X, 295 p.)
Disciplina 004.33
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer simulation
Formal methods (Computer science)
Temporal automata
Soggetto genere / forma Electronic books.
ISBN 3-540-85778-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Some Recent Results in Metric Temporal Logic -- Composing Web Services in an Open World: Issues of Quality of Service -- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets -- Session 1. Extensions of Timed Automata and Semantics -- Infinite Runs in Weighted Timed Automata with Energy Constraints -- Concavely-Priced Timed Automata -- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets -- Timed Automata with Integer Resets: Language Inclusion and Expressiveness -- Session 2. Timed Games and Logic -- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities -- MTL with Bounded Variability: Decidability and Complexity -- Timed Parity Games: Complexity and Robustness -- On Scheduling Policies for Streams of Structured Jobs -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling and Scheduling of Datapaths of Digital Document Printers -- Session 4. Model-Checking of Probabilistic Systems -- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks -- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains -- Session 5. Verification and Test -- Convergence Verification: From Shared Memory to Partially Synchronous Systems -- Compositional Abstraction in Real-Time Model Checking -- On Conformance Testing for Timed Systems -- Session 6. Time Petri Nets -- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs -- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.
Record Nr. UNINA-9910484241503321
Berlin, Germany ; ; New York, New York : , : Springer, , [2008]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers / / edited by Kim G. Larsen, Peter Niebert
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers / / edited by Kim G. Larsen, Peter Niebert
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (VIII, 281 p.)
Disciplina 004.33
Collana Lecture Notes in Computer Science
Soggetto topico Applied mathematics
Engineering mathematics
Computer logic
Software engineering
Programming languages (Electronic computers)
Special purpose computers
Applications of Mathematics
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems
ISBN 3-540-40903-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Timed Automata and Timed Languages Challenges and Open Problems -- Towards Efficient Partition Refinement for Checking Reachability in Timed Automata -- Checking ACTL * Properties of Discrete Timed Automata via Bounded Model Checking -- Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently -- Adding Symmetry Reduction to Uppaal -- TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems -- Optimization of Timed Automata Models Using Mixed-Integer Programming -- Discrete-Time Rewards Model-Checked -- Performance Analysis of Probabilistic Timed Automata Using Digital Clocks -- An Interval-Based Algebra for Restricted Event Detection -- PARS: A Process Algebra with Resources and Schedulers -- Formal Semantics of Hybrid Chi -- Run-Time Guarantees for Real-Time Systems -- A Nonarchimedian Discretization for Timed Languages -- Folk Theorems on the Determinization and Minimization of Timed Automata -- Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking -- On Timing Analysis of Combinational Circuits -- Analysis of Real Time Operating System Based Applications -- Time-Optimal Test Cases for Real-Time Systems -- Using Zone Graph Method for Computing the State Space of a Time Petri Net -- Causal Time Calculus -- ELSE: A New Symbolic State Generator for Timed Automata.
Record Nr. UNINA-9910143866103321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui