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.
Parallel and Distributed Processing and Applications [[electronic resource] ] : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings / / edited by Minyi Guo, Laurence T. Yang, Beniamino Di Martino, Hans Zima, Jack Dongarra, Feilong Tang
| Parallel and Distributed Processing and Applications [[electronic resource] ] : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings / / edited by Minyi Guo, Laurence T. Yang, Beniamino Di Martino, Hans Zima, Jack Dongarra, Feilong Tang |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVIII, 953 p.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer systems
Algorithms Computer networks Application software Electronic digital computers—Evaluation Software engineering Computer System Implementation Computer Communication Networks Computer and Information Systems Applications System Performance and Evaluation Software Engineering |
| ISBN | 3-540-68070-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speech -- Track 1. Architectures and Networks -- Track 2. Languages and Algorithms -- Track 3. Middleware and Cooperative Computing -- Track 4. Software and Applications. |
| Record Nr. | UNINA-9910484409503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Parallel and Distributed Processing and Applications [[electronic resource] ] : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings / / edited by Yi Pan, Daoxu Chen, Minyi Guo, Jiannong Cao, Jack Dongarra
| Parallel and Distributed Processing and Applications [[electronic resource] ] : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings / / edited by Yi Pan, Daoxu Chen, Minyi Guo, Jiannong Cao, Jack Dongarra |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XXIV, 1164 p.) |
| Disciplina | 004/.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer systems
Algorithms Computer networks Application software Electronic digital computers—Evaluation Software engineering Computer System Implementation Computer Communication Networks Computer and Information Systems Applications System Performance and Evaluation Software Engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speech -- Tutorial -- Session 1A: Cluster Systems and Applications -- Session 1B: Performance Evaluation and Measurements -- Session 1C: Distributed Algorithms and Systems -- Session 1D: Fault Tolerance and Reliability -- Session 2A: High-Performance Computing and Architecture I -- Session 2B: Parallel Algorithms and Systems I -- Session 2C: Network Routing and Communication Algorithms I -- Session 2D: Security Algorithms and Systems I -- Session 3A: High-Performance Computing and Architecture II -- Session 3B: Parallel Algorithms and Systems II -- Session 3C: Network Routing and Communication Algorithms II -- Session 3D: Security Algorithms and Systems II -- Session 4A: Grid Applications and Systems -- Session 4B: Database Applications and Data Mining -- Session 4C: Distributed Processing and Architecture -- Session 4D: Sensor Networks and Protocols -- Session 5A: Peer-to-Peer Algorithms and Systems I -- Session 5B: Internet Computing and Web Technologies I -- Session 5C: Network Protocols and Switching I -- Session 5D: Ad Hoc and Wireless Networks I -- Session 6A: Peer-to-Peer Algorithms and Systems II -- Session 6B: Internet Computing and Web Technologies II -- Session 6C: Network Protocols and Switching II -- Session 6D: Ad Hoc and Wireless Networks II. |
| Record Nr. | UNISA-996465726503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Parallel and Distributed Processing and Applications [[electronic resource] ] : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings / / edited by Yi Pan, Daoxu Chen, Minyi Guo, Jiannong Cao, Jack Dongarra
| Parallel and Distributed Processing and Applications [[electronic resource] ] : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings / / edited by Yi Pan, Daoxu Chen, Minyi Guo, Jiannong Cao, Jack Dongarra |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XXIV, 1164 p.) |
| Disciplina | 004/.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer systems
Algorithms Computer networks Application software Electronic digital computers—Evaluation Software engineering Computer System Implementation Computer Communication Networks Computer and Information Systems Applications System Performance and Evaluation Software Engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speech -- Tutorial -- Session 1A: Cluster Systems and Applications -- Session 1B: Performance Evaluation and Measurements -- Session 1C: Distributed Algorithms and Systems -- Session 1D: Fault Tolerance and Reliability -- Session 2A: High-Performance Computing and Architecture I -- Session 2B: Parallel Algorithms and Systems I -- Session 2C: Network Routing and Communication Algorithms I -- Session 2D: Security Algorithms and Systems I -- Session 3A: High-Performance Computing and Architecture II -- Session 3B: Parallel Algorithms and Systems II -- Session 3C: Network Routing and Communication Algorithms II -- Session 3D: Security Algorithms and Systems II -- Session 4A: Grid Applications and Systems -- Session 4B: Database Applications and Data Mining -- Session 4C: Distributed Processing and Architecture -- Session 4D: Sensor Networks and Protocols -- Session 5A: Peer-to-Peer Algorithms and Systems I -- Session 5B: Internet Computing and Web Technologies I -- Session 5C: Network Protocols and Switching I -- Session 5D: Ad Hoc and Wireless Networks I -- Session 6A: Peer-to-Peer Algorithms and Systems II -- Session 6B: Internet Computing and Web Technologies II -- Session 6C: Network Protocols and Switching II -- Session 6D: Ad Hoc and Wireless Networks II. |
| Record Nr. | UNINA-9910483506803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops [[electronic resource] ] : ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings / / edited by Guihai Chen, Yi Pan, Minyi Guo, Jian Lu
| Parallel and Distributed Processing and Applications - ISPA 2005 Workshops [[electronic resource] ] : ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings / / edited by Guihai Chen, Yi Pan, Minyi Guo, Jian Lu |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XX, 672 p.) |
| Disciplina | 004/.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer systems
Algorithms Computer networks Application software Electronic digital computers—Evaluation Software engineering Computer System Implementation Computer Communication Networks Computer and Information Systems Applications System Performance and Evaluation Software Engineering |
| Classificazione | 54.32 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop 1: International Workshop on Applications and Economics of Peer-to-Peer Systems (AEPP 2005) -- Aurelia: Building Locality-Preserving Overlay Network over Heterogeneous P2P Environments -- On Building and Updating Distributed LSI for P2P Systems -- Performing Efficient Keyword Search by Keyword Grouping in DHT Peer-to-Peer Network -- Characterization of P2P File-Sharing System -- Analysis of GHT in Mobile Ad Hoc Networks -- Attack Vulnerability of Peer-to-Peer Networks and Cost-Effective Immunization -- A P2P Market Place Based on Aggregate Signatures -- Proof of Service in a Hybrid P2P Environment -- Construct Optimal Diameter Network and d-partition Routing Algorithm -- Decoupling Service and Feedback Trust in a Peer-to-Peer Reputation System -- Workshop 2: International Workshop on Advanced Storage Technology and Autonomic Distributed Data (ASTD 2005) -- VTarget: An Improved Software Target Emulator for SANs -- Design and Implementation of an Efficient Multipath for a SAN Environment -- Research of Hot-Spot Selection Algorithm in Virtual Address Switch -- An Efficient Cache Replacement Policy with Distinguishing Write Blocks from Read Blocks in Disk Arrays -- An NFSv4-Based Security Scheme for NAS -- Using Blocks Correlations to Improve the I/O Performance of Large Network Storage System -- A Cluster LVM for SAN Environments -- Workshop 3: International Workshop on Bioinformatics (BIOS 2005) -- COMPACT: A Comparative Package for Clustering Assessment -- Fast Sequence Similarity Computing with LCS on LARPBS -- Fast Scalable Algorithm on LARPBS for Sequence Alignment -- Identification, Expansion, and Disambiguation of Acronyms in Biomedical Texts -- A Knowledge-Driven Method to Evaluate Multi-source Clustering -- Understanding Protein Structure Prediction Using SVM_DT -- Various Features with Integrated Strategies for Protein Name Classification -- Workshop 4: International Workshop on Grid Computing in China (GCIC 2005) -- Uniform Authorization Management in ChinaGrid Support Platform -- to ChinaGrid Support Platform -- A Microeconomics-Based Resource Assignment Model for Grid Computing -- The Campus Resource Management Based on Constellation Model in the ChinaGrid -- Grid Computing Methodology for Protein Structure Prediction and Analysis -- Applying Service Composition in Digital Museum Grid -- Grid Supporting Platform for AMS Data Processing -- A CGSP-Based Grid Application for University Digital Museums -- FleMA: A Flexible Measurement Architecture for ChinaGrid -- A Resource Scheduling Strategy for the CFD Application on the Grid -- Workshop 5: International Workshop on Information Assurance in Distributed Systems (IADS 2005) -- A Robust Coalition-Resistant Threshold Signature Scheme with Anonymous Signers -- A Novel ID-Based Partial Delegation with Warrant Proxy Signature Scheme -- An Efficient Proxy-Protected Signature Scheme Based on Factoring -- Security of an Efficient ID-Based Authenticated Key Agreement Protocol from Pairings -- Encryption Based on Reversible Second-Order Cellular Automata -- ID-Based Proxy Signature Using Bilinear Pairings -- Efficient Fair Certified E-Mail Delivery Based on RSA -- Intrusion Tolerant CA Scheme with Cheaters Detection Ability -- Improvement of Protocol Anomaly Detection Based on Markov Chain and Its Application -- Research and Implementation of Workflow Interoperability Crossing Organizations -- Workshop 6: International Workshop on Mobile Ad-Hoc and Ubiquitous Sensor Networks (MASN 2005) -- LSBE: A Localization Scheme Based on Events for Wireless Sensor and Actor Networks -- Crossing Effects Analysis Between Routing and MAC Protocol in Mobile Ad Hoc Networks -- Low-Latency Routing in Ad Hoc Wireless Networks Using Finite Horizons -- Energy Usage in Biomimetic Models for Massively-Deployed Sensor Networks -- Probabilistic Behavior of Sensor Network Localization -- Hybrid Authentication and Key Management Scheme for WSANs -- Storage-Optimal Key Sharing with Authentication in Sensor Networks -- Workshop 7: International Workshop on Service Grid Computing and Applications (SGCA 2005) -- An Asynchronous Replica Consistency Model in Data Grid -- Distributed Access Control for Grid Environments Using Trust Management Approach -- Research on Database Access and Integration in UDMGrid -- Resource Allocation Based on Pricing for Grid Computing Environments -- CMSA: A Method for Construction and Maintenance of Semantic Annotations -- NDP2PSim: A NS2-Based Platform for Peer-to-Peer Network Simulations -- Resource Scheduling Scheme for Grid Computing and Its Petri Net Model and Analysis -- The Design and Implementation of Service Adapter in ShanghaiGrid Core -- MCRM System: CIM-Based Multiple Clusters Manager -- Workshop 8: International Workshop on Web Information Systems and Applications (WISA 2005) -- to an Agent-Based Grid Workflow Management System -- An XML Query Mechanism with Ontology Integration -- Implementation of Cooperative Cognition Under Web Environment -- Access Authorization Policy for XML Document Security -- OWL2Jess: A Transformational Implementation of the OWL Semantics -- Security Frameworks for Open LBS Based on Web Services Security Mechanism -- Testing and Fault Diagnosis for Web Application Compatibility Based on Combinatorial Method -- A K-Anonymizing Approach for Preventing Link Attacks in Data Publishing -- Transformation-Driven Development of Composite Web Services -- Badness Information Audit Based on Image Character Filtering -- User’s Rough Set Based Fuzzy Interest Model in Mining WWW Cache. |
| Record Nr. | UNISA-996465729603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops [[electronic resource] ] : ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings / / edited by Guihai Chen, Yi Pan, Minyi Guo, Jian Lu
| Parallel and Distributed Processing and Applications - ISPA 2005 Workshops [[electronic resource] ] : ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings / / edited by Guihai Chen, Yi Pan, Minyi Guo, Jian Lu |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XX, 672 p.) |
| Disciplina | 004/.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer systems
Algorithms Computer networks Application software Electronic digital computers—Evaluation Software engineering Computer System Implementation Computer Communication Networks Computer and Information Systems Applications System Performance and Evaluation Software Engineering |
| Classificazione | 54.32 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop 1: International Workshop on Applications and Economics of Peer-to-Peer Systems (AEPP 2005) -- Aurelia: Building Locality-Preserving Overlay Network over Heterogeneous P2P Environments -- On Building and Updating Distributed LSI for P2P Systems -- Performing Efficient Keyword Search by Keyword Grouping in DHT Peer-to-Peer Network -- Characterization of P2P File-Sharing System -- Analysis of GHT in Mobile Ad Hoc Networks -- Attack Vulnerability of Peer-to-Peer Networks and Cost-Effective Immunization -- A P2P Market Place Based on Aggregate Signatures -- Proof of Service in a Hybrid P2P Environment -- Construct Optimal Diameter Network and d-partition Routing Algorithm -- Decoupling Service and Feedback Trust in a Peer-to-Peer Reputation System -- Workshop 2: International Workshop on Advanced Storage Technology and Autonomic Distributed Data (ASTD 2005) -- VTarget: An Improved Software Target Emulator for SANs -- Design and Implementation of an Efficient Multipath for a SAN Environment -- Research of Hot-Spot Selection Algorithm in Virtual Address Switch -- An Efficient Cache Replacement Policy with Distinguishing Write Blocks from Read Blocks in Disk Arrays -- An NFSv4-Based Security Scheme for NAS -- Using Blocks Correlations to Improve the I/O Performance of Large Network Storage System -- A Cluster LVM for SAN Environments -- Workshop 3: International Workshop on Bioinformatics (BIOS 2005) -- COMPACT: A Comparative Package for Clustering Assessment -- Fast Sequence Similarity Computing with LCS on LARPBS -- Fast Scalable Algorithm on LARPBS for Sequence Alignment -- Identification, Expansion, and Disambiguation of Acronyms in Biomedical Texts -- A Knowledge-Driven Method to Evaluate Multi-source Clustering -- Understanding Protein Structure Prediction Using SVM_DT -- Various Features with Integrated Strategies for Protein Name Classification -- Workshop 4: International Workshop on Grid Computing in China (GCIC 2005) -- Uniform Authorization Management in ChinaGrid Support Platform -- to ChinaGrid Support Platform -- A Microeconomics-Based Resource Assignment Model for Grid Computing -- The Campus Resource Management Based on Constellation Model in the ChinaGrid -- Grid Computing Methodology for Protein Structure Prediction and Analysis -- Applying Service Composition in Digital Museum Grid -- Grid Supporting Platform for AMS Data Processing -- A CGSP-Based Grid Application for University Digital Museums -- FleMA: A Flexible Measurement Architecture for ChinaGrid -- A Resource Scheduling Strategy for the CFD Application on the Grid -- Workshop 5: International Workshop on Information Assurance in Distributed Systems (IADS 2005) -- A Robust Coalition-Resistant Threshold Signature Scheme with Anonymous Signers -- A Novel ID-Based Partial Delegation with Warrant Proxy Signature Scheme -- An Efficient Proxy-Protected Signature Scheme Based on Factoring -- Security of an Efficient ID-Based Authenticated Key Agreement Protocol from Pairings -- Encryption Based on Reversible Second-Order Cellular Automata -- ID-Based Proxy Signature Using Bilinear Pairings -- Efficient Fair Certified E-Mail Delivery Based on RSA -- Intrusion Tolerant CA Scheme with Cheaters Detection Ability -- Improvement of Protocol Anomaly Detection Based on Markov Chain and Its Application -- Research and Implementation of Workflow Interoperability Crossing Organizations -- Workshop 6: International Workshop on Mobile Ad-Hoc and Ubiquitous Sensor Networks (MASN 2005) -- LSBE: A Localization Scheme Based on Events for Wireless Sensor and Actor Networks -- Crossing Effects Analysis Between Routing and MAC Protocol in Mobile Ad Hoc Networks -- Low-Latency Routing in Ad Hoc Wireless Networks Using Finite Horizons -- Energy Usage in Biomimetic Models for Massively-Deployed Sensor Networks -- Probabilistic Behavior of Sensor Network Localization -- Hybrid Authentication and Key Management Scheme for WSANs -- Storage-Optimal Key Sharing with Authentication in Sensor Networks -- Workshop 7: International Workshop on Service Grid Computing and Applications (SGCA 2005) -- An Asynchronous Replica Consistency Model in Data Grid -- Distributed Access Control for Grid Environments Using Trust Management Approach -- Research on Database Access and Integration in UDMGrid -- Resource Allocation Based on Pricing for Grid Computing Environments -- CMSA: A Method for Construction and Maintenance of Semantic Annotations -- NDP2PSim: A NS2-Based Platform for Peer-to-Peer Network Simulations -- Resource Scheduling Scheme for Grid Computing and Its Petri Net Model and Analysis -- The Design and Implementation of Service Adapter in ShanghaiGrid Core -- MCRM System: CIM-Based Multiple Clusters Manager -- Workshop 8: International Workshop on Web Information Systems and Applications (WISA 2005) -- to an Agent-Based Grid Workflow Management System -- An XML Query Mechanism with Ontology Integration -- Implementation of Cooperative Cognition Under Web Environment -- Access Authorization Policy for XML Document Security -- OWL2Jess: A Transformational Implementation of the OWL Semantics -- Security Frameworks for Open LBS Based on Web Services Security Mechanism -- Testing and Fault Diagnosis for Web Application Compatibility Based on Combinatorial Method -- A K-Anonymizing Approach for Preventing Link Attacks in Data Publishing -- Transformation-Driven Development of Composite Web Services -- Badness Information Audit Based on Image Character Filtering -- User’s Rough Set Based Fuzzy Interest Model in Mining WWW Cache. |
| Record Nr. | UNINA-9910483691403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives of System Informatics [[electronic resource] ] : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers / / edited by Alexander K. Petrenko, Andrei Voronkov
| Perspectives of System Informatics [[electronic resource] ] : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers / / edited by Alexander K. Petrenko, Andrei Voronkov |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XI, 432 p. 80 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Electronic digital computers—Evaluation Computers Professions Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques System Performance and Evaluation The Computing Profession |
| ISBN | 3-319-74313-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Architecture for Non-invasive Software Measurement -- A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications -- Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code -- Pipelined Bottom-up Evaluation of Datalog Programs: The Push Method -- Multi-cloud Applications Security Monitoring -- The Hybrid Multidimensional-ontological Data Model Based on Metagraph Approach -- PosDB: A Distributed Column-store Engine -- Microservices: How To Make Your Application Scale -- Static Binary Code Instrumentation for ARM Architecture -- A Behavioural Theory for Reactive Sequential Algorithms -- Lightweight Non-Intrusive Virtual Machine Introspection -- Distributed Approach to Coreference Resolution in Multi-agent Text Analysis for Ontology Population -- A Framework for Dynamical Construction of Software Components -- A Transformation-Based Approach for Developing High-Performance GPU Programs -- Domain Engineering the Magnolia Way -- Approximating Event System Abstractions by Covering Their States and Transitions -- Implementing the Symbolic Method of Verification in the C-light Project -- Highlights of the Rice-Shapiro Theorem in Computable Topology -- A Memory Model for Deductively Verifying Linux Kernel Modules -- Indexing of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees -- An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language -- Compositional Relational Programming with Nominal Projection and Compositional Synthesis -- WhaleProver: First-order Intuitionistic Theorem Prover Based on the Inverse Method -- Distributed In Situ Processing of Big Raster Data in the Cloud -- Statistical Approach to Increase Source Code Completion Accuracy -- Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation -- Runtime Specialization of PostgreSQL Query Executor -- MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors -- Enriching aA Textual Xtext-DSL with A Graphical GEF-based Editor -- Towards Automated Static Verification of GNU C Programs -- Domain Specific Semantic Validation of Schema.org Annotations. . |
| Record Nr. | UNISA-996465483003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of System Informatics [[electronic resource] ] : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers / / edited by Alexander K. Petrenko, Andrei Voronkov
| Perspectives of System Informatics [[electronic resource] ] : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers / / edited by Alexander K. Petrenko, Andrei Voronkov |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XI, 432 p. 80 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Electronic digital computers—Evaluation Computers Professions Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques System Performance and Evaluation The Computing Profession |
| ISBN | 3-319-74313-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Architecture for Non-invasive Software Measurement -- A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications -- Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code -- Pipelined Bottom-up Evaluation of Datalog Programs: The Push Method -- Multi-cloud Applications Security Monitoring -- The Hybrid Multidimensional-ontological Data Model Based on Metagraph Approach -- PosDB: A Distributed Column-store Engine -- Microservices: How To Make Your Application Scale -- Static Binary Code Instrumentation for ARM Architecture -- A Behavioural Theory for Reactive Sequential Algorithms -- Lightweight Non-Intrusive Virtual Machine Introspection -- Distributed Approach to Coreference Resolution in Multi-agent Text Analysis for Ontology Population -- A Framework for Dynamical Construction of Software Components -- A Transformation-Based Approach for Developing High-Performance GPU Programs -- Domain Engineering the Magnolia Way -- Approximating Event System Abstractions by Covering Their States and Transitions -- Implementing the Symbolic Method of Verification in the C-light Project -- Highlights of the Rice-Shapiro Theorem in Computable Topology -- A Memory Model for Deductively Verifying Linux Kernel Modules -- Indexing of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees -- An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language -- Compositional Relational Programming with Nominal Projection and Compositional Synthesis -- WhaleProver: First-order Intuitionistic Theorem Prover Based on the Inverse Method -- Distributed In Situ Processing of Big Raster Data in the Cloud -- Statistical Approach to Increase Source Code Completion Accuracy -- Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation -- Runtime Specialization of PostgreSQL Query Executor -- MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors -- Enriching aA Textual Xtext-DSL with A Graphical GEF-based Editor -- Towards Automated Static Verification of GNU C Programs -- Domain Specific Semantic Validation of Schema.org Annotations. . |
| Record Nr. | UNINA-9910349261803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages and Systems [[electronic resource] ] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Luís Caires
| Programming Languages and Systems [[electronic resource] ] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Luís Caires |
| Autore | Caires Luís |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 816 p. 5223 illus., 70 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Computer programming Software engineering Computer science Computers Professions Electronic digital computers—Evaluation Compilers and Interpreters Programming Techniques Software Engineering Theory of Computation The Computing Profession System Performance and Evaluation |
| ISBN | 3-030-17184-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910337853203321 |
Caires Luís
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages and Systems [[electronic resource] ] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Luís Caires
| Programming Languages and Systems [[electronic resource] ] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Luís Caires |
| Autore | Caires Luís |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 816 p. 5223 illus., 70 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Computer programming Software engineering Computer science Computers Professions Electronic digital computers—Evaluation Compilers and Interpreters Programming Techniques Software Engineering Theory of Computation The Computing Profession System Performance and Evaluation |
| ISBN | 3-030-17184-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466313903316 |
|
Caires Luís
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems [[electronic resource] ] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi
| Quantitative Evaluation of Systems [[electronic resource] ] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 370 p. 94 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer simulation Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science Theory of Computation Computer Modelling |
| ISBN | 3-319-66335-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic modeling -- Smart energy systems over the cloud -- Petri nets and performance modeling -- Parametric verification -- Machine learning and formal methods -- Tools. . |
| Record Nr. | UNISA-996465877003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
