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.
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 |
| 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 | ||
| ||
ECRTS 2015 : 27th Euromicro Conference on Real-Time Systems : proceedings : 7-10 July 2015, Lund, Sweden / / Institute of Electrical and Electronics Engineers
| ECRTS 2015 : 27th Euromicro Conference on Real-Time Systems : proceedings : 7-10 July 2015, Lund, Sweden / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 |
| Descrizione fisica | 1 online resource (xiii, 288 pages) |
| Disciplina | 004.33 |
| Soggetto topico |
Real-time data processing
Real-time programming |
| ISBN | 1-4673-7570-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279977703316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ECRTS 2015 : 27th Euromicro Conference on Real-Time Systems : proceedings : 7-10 July 2015, Lund, Sweden / / Institute of Electrical and Electronics Engineers
| ECRTS 2015 : 27th Euromicro Conference on Real-Time Systems : proceedings : 7-10 July 2015, Lund, Sweden / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 |
| Descrizione fisica | 1 online resource (xiii, 288 pages) |
| Disciplina | 004.33 |
| Soggetto topico |
Real-time data processing
Real-time programming |
| ISBN | 1-4673-7570-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910135159703321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
EUROMICRO '92: System 4th Workshop on Real Time
| EUROMICRO '92: System 4th Workshop on Real Time |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1992 |
| Descrizione fisica | 1 online resource (224 pages) |
| Disciplina | 004.33 |
| Soggetto topico |
Real-time data processing
Computers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202442403316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
EUROMICRO '93: System 5th Workshop on Real Time
| EUROMICRO '93: System 5th Workshop on Real Time |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1993 |
| Descrizione fisica | 1 online resource (296 pages) |
| Disciplina | 004.33 |
| Soggetto topico |
Scheduling
Real-time data processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206161803316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Formal Methods and Hybrid Real-Time Systems [[electronic resource] ] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock
| Formal Methods and Hybrid Real-Time Systems [[electronic resource] ] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XVI, 542 p.) |
| Disciplina | 004.33 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Computer engineering Computer networks Machine theory Software Engineering Computer Science Logic and Foundations of Programming Computer Engineering and Networks Formal Languages and Automata Theory |
| ISBN | 3-540-75221-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models and Software Model Checking of a Distributed File Replication System -- From “Formal Methods” to System Modeling -- A Denotational Semantics for Handel-C -- Generating Polynomial Invariants with DISCOVERER and QEPCAD -- Harnessing rCOS for Tool Support —The CoCoME Experience -- Automating Verification of Cooperation, Control, and Design in Traffic Applications -- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus -- Relating Domain Concepts Intensionally by Ordering Connections -- Programmable Messaging for Electronic Government - Building a Foundation -- Balancing Insight and Effort: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing -- Semantics and Verification of a Language for Modelling Hardware Architectures -- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems -- Compensable Programs -- Deriving Specifications for Systems That Are Connected to the Physical World -- Engineering the Development of Embedded Systems -- Design Verification Patterns -- On Revival of Algol-Concepts in Modern Programming and Specification Languages -- Design in CommUnity with Extension Morphisms -- Symbolic Test Generation Using a Temporal Logic with Constrained Events -- Expansive-Bisimulation for Context-Free Processes -- VDM Semantics of Programming Languages: Combinators and Monads -- Formal Approach to Railway Applications -- Services as a Paradigm of Computation. |
| Record Nr. | UNISA-996465958703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Hybrid Real-Time Systems [[electronic resource] ] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock
| Formal Methods and Hybrid Real-Time Systems [[electronic resource] ] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XVI, 542 p.) |
| Disciplina | 004.33 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Computer engineering Computer networks Machine theory Software Engineering Computer Science Logic and Foundations of Programming Computer Engineering and Networks Formal Languages and Automata Theory |
| ISBN | 3-540-75221-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models and Software Model Checking of a Distributed File Replication System -- From “Formal Methods” to System Modeling -- A Denotational Semantics for Handel-C -- Generating Polynomial Invariants with DISCOVERER and QEPCAD -- Harnessing rCOS for Tool Support —The CoCoME Experience -- Automating Verification of Cooperation, Control, and Design in Traffic Applications -- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus -- Relating Domain Concepts Intensionally by Ordering Connections -- Programmable Messaging for Electronic Government - Building a Foundation -- Balancing Insight and Effort: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing -- Semantics and Verification of a Language for Modelling Hardware Architectures -- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems -- Compensable Programs -- Deriving Specifications for Systems That Are Connected to the Physical World -- Engineering the Development of Embedded Systems -- Design Verification Patterns -- On Revival of Algol-Concepts in Modern Programming and Specification Languages -- Design in CommUnity with Extension Morphisms -- Symbolic Test Generation Using a Temporal Logic with Constrained Events -- Expansive-Bisimulation for Context-Free Processes -- VDM Semantics of Programming Languages: Combinators and Monads -- Formal Approach to Railway Applications -- Services as a Paradigm of Computation. |
| Record Nr. | UNINA-9910484920003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
