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.
Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
| Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XV, 378 p. 133 illus.) |
| Disciplina | 006.3/1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Theory of Computation Mathematics of Computing Discrete Mathematics in Computer Science |
| ISBN | 3-642-30885-6 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi -- Integrated Operational Semantics: Small-Step, Big-Step and Multi-step / Ian J. Hayes and Robert J. Colvin -- Test Generation for Sequential Nets of Abstract State Machines / Paolo Arcaini, Francesco Bolis and Angelo Gargantini -- ASM and Controller Synthesis / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Continuous ASM, and a Pacemaker Sensing Fragment / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- An ASM Model of Concurrency in a Web Browser / Vincenzo Gervasi -- Modeling the Supervisory Control Theory with Alloy / Benoît Fraikin, Marc Frappier and Richard St-Denis -- Preventing Arithmetic Overflows in Alloy / Aleksandar Milicevic and Daniel Jackson -- Extending Alloy with Partial Instances / Vajih Montaghami and Derek Rayside -- Toward a More Complete Alloy / Timothy Nelson, Daniel J. Dougherty, Kathi Fisler and Shriram Krishnamurthi -- Temporal Logic Model Checking in Alloy / Amirhossein Vakili and Nancy A. Day -- Active Attacking Multicast Key Management Protocol Using Alloy / Ting Wang and Dongyao Ji -- Formalizing Hybrid Systems with Event-B / Jean-Raymond Abrial, Wen Su and Huibiao Zhu -- SMT Solvers for Rodin / David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin -- Refinement Plans for Informed Formal Design / Gudmund Grov, Andrew Ireland and Maria Teresa Llano -- Refinement by Interface Instantiation / Stefan Hallerstede and Thai Son Hoang -- Discharging Proof Obligations from Atelier B Using Multiple Automated Provers / David Mentré, Claude Marché, Jean-Christophe Filliâtre and Masashi Asuka -- A Semantic Analysis of Logics That Cope with Partial Terms / Cliff B. Jones, Matthew J. Lovert and L. Jason Steggles -- Combining VDM with Executable Code / Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen -- Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions / Maximiliano Cristiá and Claudia Frydman -- A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams / Chris Marriott, Frank Zeyda and Ana Cavalcanti -- Verification of Hardware Interaction Properties of Software / Ramsay Taylor -- Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System / Matthes Elstermann, Detlef Seese and Albert Fleischmann -- A Unified Processor Model for Compiler Verification and Simulation Using ASM / Roland Lezuo and Andreas Krall -- Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs / Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra -- A Reliability Prediction Method for Abstract State Machines / Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra -- A Simplified Parallel ASM Thesis / Klaus-Dieter Schewe and Qing Wang -- Refactoring Abstract State Machine Models / Hamed Yaghoubi Shahir, Roozbeh Farahbod and Uwe Glässer -- Continuous Behaviour in Event-B: A Sketch / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Formal Verification of PLC Programs Using the B Method / Haniel Barbosa and David Déharbe -- A Practical Event-B Refinement Method Based on a UML-Driven Development Process / Thiago C. de Sousa, Paulo Sérgio Muniz Silva and Colin F. Snook -- Learn and Test for Event-B -- A Rodin Plugin / Ionut Dinca, Florentin Ipate, Laurentiu Mierla and Alin Stefanescu -- Event-B Code Generation: Type Extension with Theories / Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell -- Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project / Denis Sabatier, Lilian Burdy, Antoine Requet and Jérôme Guéry -- A Pattern for Modelling Fault Tolerant Systems in Event-B / Gintautas Sulskus and Michael Poppleton. |
| Record Nr. | UNISA-996465312903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Adaptive Learning Agents [[electronic resource] ] : Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers / / edited by Matthew Taylor, Karl Tuyls
| Adaptive Learning Agents [[electronic resource] ] : Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers / / edited by Matthew Taylor, Karl Tuyls |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (154 p. 70 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Computer science—Mathematics Algorithms Computer simulation Computer organization Artificial Intelligence Computer Communication Networks Discrete Mathematics in Computer Science Algorithm Analysis and Problem Complexity Simulation and Modeling Computer Systems Organization and Communication Networks |
| ISBN |
1-280-38572-3
9786613563644 3-642-11814-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstraction and Generalization in Reinforcement Learning: A Summary and Framework -- The Effects of Evolved Sociability in a Commons Dilemma -- Replicator Dynamics for Multi-agent Learning: An Orthogonal Approach -- Decentralized Learning in Wireless Sensor Networks -- Recursive Adaptation of Stepsize Parameter for Non-stationary Environments -- Multiagent Reinforcement Learning Model for the Emergence of Common Property and Transhumance in Sub-Saharan Africa -- Learning to Locate Trading Partners in Agent Networks -- Coordinating Learning Agents for Multiple Resource Job Scheduling. |
| Record Nr. | UNISA-996465644403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Encryption Standard - AES [[electronic resource] ] : 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / / edited by Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa
| Advanced Encryption Standard - AES [[electronic resource] ] : 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / / edited by Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 190 p.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Algorithms Computer science—Mathematics Cryptology Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cryptanalytic Attacks and Related Results -- The Cryptanalysis of the AES – A Brief Survey -- The Boomerang Attack on 5 and 6-Round Reduced AES -- A Three Rounds Property of the AES -- DFA on AES -- Refined Analysis of Bounds Related to Linear and Differential Cryptanalysis for the AES -- Algebraic Attacks and Related Results -- Some Algebraic Aspects of the Advanced Encryption Standard -- General Principles of Algebraic Attacks and New Design Criteria for Cipher Components -- An Algebraic Interpretation of 128 -- Hardware Implementations -- Efficient AES Implementations on ASICs and FPGAs -- Small Size, Low Power, Side Channel-Immune AES Coprocessor: Design and Synthesis Results -- Other Topics -- Complementation-Like and Cyclic Properties of AES Round Functions -- More Dual Rijndaels -- Representations and Rijndael Descriptions -- Linearity of the AES Key Schedule -- The Inverse S-Box, Non-linear Polynomial Relations and Cryptanalysis of Block Ciphers. |
| Record Nr. | UNISA-996465822403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Parallel Processing Technologies [[electronic resource] ] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu
| Advanced Parallel Processing Technologies [[electronic resource] ] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIX, 772 p.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN | 3-540-76837-8 |
| Classificazione |
004
DAT 250f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Session 1 – Advanced Microprocessor Architecture -- Session 2 – Parallel Distributed System Architectures -- Session 3 – Grid Computing -- Session 4 – Interconnection Networks -- Session 5 – Network Protocols -- Session 6 – Pervasive and Mobile Computing Architectures -- Session 7 – Task Scheduling and Load Balancing -- Session 8 – Software Engineering -- Session 8 – Other Issues. |
| Record Nr. | UNISA-996465520703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Parallel Processing Technologies : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu
| Advanced Parallel Processing Technologies : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIX, 772 p.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN | 3-540-76837-8 |
| Classificazione |
004
DAT 250f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Session 1 – Advanced Microprocessor Architecture -- Session 2 – Parallel Distributed System Architectures -- Session 3 – Grid Computing -- Session 4 – Interconnection Networks -- Session 5 – Network Protocols -- Session 6 – Pervasive and Mobile Computing Architectures -- Session 7 – Task Scheduling and Load Balancing -- Session 8 – Software Engineering -- Session 8 – Other Issues. |
| Record Nr. | UNINA-9910484437503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Parallel Processing Technologies [[electronic resource] ] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings / / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu
| Advanced Parallel Processing Technologies [[electronic resource] ] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings / / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 526 p.) |
| Disciplina | 005.2/75 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN |
3-540-32107-1
3-540-29639-5 |
| Classificazione | 54.32 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speech -- Research Issues in Adapting Computing to Small Devices -- Mobile Context-Aware Systems – Linking the Physical and Digital World -- Architecture -- A Data Transformations Based Approach for Optimizing Memory and Cache Locality on Distributed Memory Multiprocessors -- A Fetch Policy Maximizing Throughput and Fairness for Two-Context SMT Processors -- A Loop Transformation Using Two Parallel Region Partitioning Method -- Criticality Based Speculation Control for Speculative Multithreaded Architectures -- Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment -- Energy Efficient United L2 Cache Design with Instruction/Data Filter Scheme -- Improving Latency Tolerance of Network Processors Through Simultaneous Multithreading -- RIMP: Runtime Implicit Predication -- Static Partitioning vs Dynamic Sharing of Resources in Simultaneous MultiThreading Microarchitectures -- Algorithm and Theory -- Autonomous-Centered Problem Allocation Oriented to Cooperation -- Contention-Free Communication Scheduling for Irregular Data Redistribution in Parallelizing Compilers -- Experiments on Asynchronous Partial Gauss-Seidel Method -- Improved Program Dependence Graph and Algorithm for Static Slicing Concurrent Programs -- Parallelisation of Sequential Programs by Invasive Composition and Aspect Weaving -- Revisiting the Election Problem in Asynchronous Distributed Systems -- Scheduling Scheme with Fairness and Adaptation in the Joint Allocation of Heterogeneous Resources -- Solving the Symmetric Tridiagonal Eigenproblem Using MPI/OpenMP Hybrid Parallelization -- Trust Management with Safe Privilege Propagation -- Vector Space Based on Hierarchical Weighting: A Component Ranking Approach to Component Retrieval -- System and Software -- A High Availability Mechanism for Parallel File System -- A User-Guided Semi-automatic Parallelization Method and Its Implementation -- CAPU: Enhancing P2P File Sharing System with Capacity Aware Topology -- Implementing Component Persistence in CCM Based on StarPSS -- Load Balancing Design Issues on Prefetch-Based DSM Systems -- Task Assignment for Network Processor Pipelines Using GA -- Test-Suite Reduction Using Genetic Algorithm -- Grid Computing -- A Constellation Model for Grid Resource Management -- An Effective Information Service Architecture in Grid Environment -- An Efficient Data Management System with High Scalability for ChinaGrid Support Platform -- CGSP: An Extensible and Reconfigurable Grid Framework -- Early Experience of Remote and Hot Service Deployment with Trustworthiness in CROWN Grid -- Grid Developing Environment in CGSP System -- Grid Job Support System in CGSP -- JFreeSim: A Grid Simulation Tool Based on MTMSMR Model -- OOML-Based Ontologies and Its Services for Information Retrieval in UDMGrid -- Networking -- A Hybrid Integrated QoS Multicast Routing Algorithm in IP/DWDM Optical Internet -- An Efficient Distributed Broadcasting Algorithm for Ad Hoc Networks -- Chaos-Based Dynamic QoS Scheme and Simulating Analysis -- Dynamic Delaunay Triangulation for Wireless Ad Hoc Network -- Energy Efficient Multipath Routing in Large Scale Sensor Networks with Multiple Sink Nodes -- FLC: A Novel Dynamic Buffer Tuner for Shortening Service Roundtrip Time over the Internet by Eliminating User-Level Buffer Overflow on the Fly -- Intelligent Congestion Avoidance in Differentiated Service Networks -- Rule-Based Anomaly Detection of Inter-domain Routing System -- Transaction of Web Services Based on Struts -- Applied Technologies -- A Method of Aggregate Query Matching in Semantic Cache for Massive Database Applications -- A Parallel Modular Exponentiation Scheme for Transformed Exponents -- Content Selection Model for Adaptive Content Delivery -- Dynamic Service Provisioning for Multiplayer Online Games -- Principal Component Analysis for Distributed Data Sets with Updating -- Priority Conscious Transaction Routing in a Real-Time Shared Disks Cluster -- Probabilistic Continuous Update Scheme in Location Dependent Continuous Queries -- SIP-Based Adaptive Multimedia Transmissions for Wired and Wireless Networks -- WM+: An Optimal Multi-pattern String Matching Algorithm Based on the WM Algorithm. |
| Record Nr. | UNISA-996465664403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Parallel Processing Technologies [[electronic resource] ] : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / / edited by Xingming Zhou, Stefan Jähnichen, Ming Xu, Jiannong Cao
| Advanced Parallel Processing Technologies [[electronic resource] ] : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / / edited by Xingming Zhou, Stefan Jähnichen, Ming Xu, Jiannong Cao |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 678 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer hardware Computer organization Algorithms Numerical analysis Computer science—Mathematics Software Engineering/Programming and Operating Systems Computer Hardware Computer Systems Organization and Communication Networks Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science |
| ISBN | 3-540-39425-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architecture -- Using Split Queues to Improve the Performance of Parallel Switch -- LEAP: A Data Driven Loop Engine on Array Processor -- A New Architecture of a Fast Floating-Point Multiplier -- A Highly Efficient FC-SAN Based on Load Stream -- A New High-Performance Distributed Shared I/O System -- IA64 Oriented OpenMP Compiler: Design and Implementation of Fortran Front End -- An Alternative Superscalar Architecture with Integer Execution Units Only -- A High Efficiency Distributed Mutual Exclusion Algorithm -- The Security Architecture of the Java Operating System JX – A Security Architecture for Distributed Parallel Computing -- Simultaneous Multithreading Trace Processors -- A VLSI Architecture Design of 1-D DWT -- Overcoming Static Register Pressure for Software Pipelining in the Itanium Architecture -- Separating Data Storage, Data Computation, and Resource Management One from Another in Operating Systems -- A High Performance Design and Implementation of the Virtual Interface Architecture -- A Portable Debugger for PVM / MPI Programs on IA64 Cluster -- Optimization of Asynchronous Volume Replication Protocol -- Predicate Analysis Based on Path Information -- kd-Clos: New No-Blocking Permutation Network -- LilyTask: A Task-Oriented Parallel Computation Model -- A Method of Data Assignment on Heterogeneous Disk System -- Apply Aggregate I/O to Improve Performance of Network Storage Based on IP -- Orthogonal Design Method for Optimal Cache Configuration -- A Probabilistically Correct Election Protocol in Asynchronous Distributed Systems -- Software and Theory -- A Formal Specification and Method for MAS as a Distributed System -- Optimal Fixed Priority Assignment with Limited Priority Levels -- A Proof Assistant for Mobile Processes -- Data Space Fusion Based Approach for Effective Alignment of Computation and Data -- Optimization Parameter Selection by Means of Limited Execution and Genetic Algorithms -- Study on CORBA-Based Load Balance Algorithm -- Parallel Algorithm for Mining Maximal Frequent Patterns -- Design of Cluster Safe File System -- Graph Scaling: A Technique for Automating Program Construction and Deployment in ClusterGOP -- Pattern Classification with Parallel Processing of the Cellular Neural Networks-Based Dynamic Programming -- An Effective Molecular Algorithm for Solving the Satisfiability Problem -- Scheduling Outages in Distributed Environments -- An Improved Parallel Algorithm for Certain Toeplitz Cyclic Tridiagonal Systems on Distributed-Memory Multicomputer -- Generic Programming for Scientific Computing in C++, JavaTM, and C# -- A General Metric of Load Balancing in ?-Range -- Lattice Boltzmann Simulations of Fluid Flows -- Grid and Network -- Design and Research of Strong-Mobile Agent Based Grid’s Architecture -- A Cost-Based Online Scheduling Algorithm for Job Assignment on Computational Grids -- Composition and Automation of Grid Services -- Algorithmic Skeletons for Metacomputing -- Grid Services Performance Tuning in OGSA -- A Transaction Model for Grid Computing -- An Overview of Research on QoS Routing -- A Novel Model and Architecture on NMS – Dynamically Constructed Network Management -- QoS-Driven Multicast Tree Generation Using Genetic Algorithm -- A Scalable Peer-to-Peer Network with Constant Degree -- Symmetric Distributed Server Architecture for Network Management System -- A Distributed Network Management Framework Based on NGI -- Performance Evaluation of Scheme Integrating Mobile IP and NHRP over ATM Networks -- Improving Availability of P2P Storage Systems -- Research and Implementation of Dynamic Web Services Composition -- Call Admission Control for Multimedia CDMA Networks under Imperfect Power Control -- Efficient Data Consistency Schemes in 2-Tier Cellular Networks -- iHOPE: An Intelligent Handoff Protocol for Seamless Multimedia Service in Wireless Network -- Content and Cell Based Predictive Routing (CCPR) Protocol for Mobile Ad Hoc Networks -- A Multiple Access Scheme Using Split and Merge Algorithm for Contention/Reservation-Based Wireless MAC Protocols -- Applied Technologies -- Reconfigurable Cipher Processing Framework and Implementation -- A Dynamic Reconfiguration Platform Based on Distributed Component Technology CCM -- TMO-Based Object Group Framework for Supporting Distributed Object Management and Real-Time Services -- Extendable and Interchangeable Architecture Description of Distributed Systems Using UML and XML -- Dynamics in Hierarchical CSCW Systems -- The Tenure Duty Method (TDM) in the Active Incident Recovery Research -- A Combined Continuous-Time/Discrete-Event Computation Model for Heterogeneous Simulation Systems -- Information Geometry on Modular and Hierarchical Neural Network -- A Novel Speed-Up Algorithm of Fractal Image Compression -- Implementation and Evaluation of a Novel Parallel SAR Imaging Method on Clustering Systems -- Shape Registration Based on Modified Chain Codes -- A Distributed Parallel Resampling Algorithm for Large Images -- Collaborative Supervision of Machine Vision Systems: Breaking a Sequential Bottleneck in the Supervised Learning Process -- Parallel Storing and Querying XML Documents Using Relational DBMS -- A Variable Consistent Server Replication Model for Mobile Database -- Multi-scheduler Concurrency Control for Parallel Database Systems -- Optimal Broadcast Channel for Data Dissemination in Mobile Database Environment -- Global System Image Architecture for Cluster Computing. |
| Record Nr. | UNISA-996465796703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / / edited by Xingming Zhou, Stefan Jähnichen, Ming Xu, Jiannong Cao
| Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / / edited by Xingming Zhou, Stefan Jähnichen, Ming Xu, Jiannong Cao |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 678 p.) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer hardware Computer organization Algorithms Numerical analysis Computer science—Mathematics Software Engineering/Programming and Operating Systems Computer Hardware Computer Systems Organization and Communication Networks Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science |
| ISBN | 3-540-39425-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architecture -- Using Split Queues to Improve the Performance of Parallel Switch -- LEAP: A Data Driven Loop Engine on Array Processor -- A New Architecture of a Fast Floating-Point Multiplier -- A Highly Efficient FC-SAN Based on Load Stream -- A New High-Performance Distributed Shared I/O System -- IA64 Oriented OpenMP Compiler: Design and Implementation of Fortran Front End -- An Alternative Superscalar Architecture with Integer Execution Units Only -- A High Efficiency Distributed Mutual Exclusion Algorithm -- The Security Architecture of the Java Operating System JX – A Security Architecture for Distributed Parallel Computing -- Simultaneous Multithreading Trace Processors -- A VLSI Architecture Design of 1-D DWT -- Overcoming Static Register Pressure for Software Pipelining in the Itanium Architecture -- Separating Data Storage, Data Computation, and Resource Management One from Another in Operating Systems -- A High Performance Design and Implementation of the Virtual Interface Architecture -- A Portable Debugger for PVM / MPI Programs on IA64 Cluster -- Optimization of Asynchronous Volume Replication Protocol -- Predicate Analysis Based on Path Information -- kd-Clos: New No-Blocking Permutation Network -- LilyTask: A Task-Oriented Parallel Computation Model -- A Method of Data Assignment on Heterogeneous Disk System -- Apply Aggregate I/O to Improve Performance of Network Storage Based on IP -- Orthogonal Design Method for Optimal Cache Configuration -- A Probabilistically Correct Election Protocol in Asynchronous Distributed Systems -- Software and Theory -- A Formal Specification and Method for MAS as a Distributed System -- Optimal Fixed Priority Assignment with Limited Priority Levels -- A Proof Assistant for Mobile Processes -- Data Space Fusion Based Approach for Effective Alignment of Computation and Data -- Optimization Parameter Selection by Means of Limited Execution and Genetic Algorithms -- Study on CORBA-Based Load Balance Algorithm -- Parallel Algorithm for Mining Maximal Frequent Patterns -- Design of Cluster Safe File System -- Graph Scaling: A Technique for Automating Program Construction and Deployment in ClusterGOP -- Pattern Classification with Parallel Processing of the Cellular Neural Networks-Based Dynamic Programming -- An Effective Molecular Algorithm for Solving the Satisfiability Problem -- Scheduling Outages in Distributed Environments -- An Improved Parallel Algorithm for Certain Toeplitz Cyclic Tridiagonal Systems on Distributed-Memory Multicomputer -- Generic Programming for Scientific Computing in C++, JavaTM, and C# -- A General Metric of Load Balancing in ?-Range -- Lattice Boltzmann Simulations of Fluid Flows -- Grid and Network -- Design and Research of Strong-Mobile Agent Based Grid’s Architecture -- A Cost-Based Online Scheduling Algorithm for Job Assignment on Computational Grids -- Composition and Automation of Grid Services -- Algorithmic Skeletons for Metacomputing -- Grid Services Performance Tuning in OGSA -- A Transaction Model for Grid Computing -- An Overview of Research on QoS Routing -- A Novel Model and Architecture on NMS – Dynamically Constructed Network Management -- QoS-Driven Multicast Tree Generation Using Genetic Algorithm -- A Scalable Peer-to-Peer Network with Constant Degree -- Symmetric Distributed Server Architecture for Network Management System -- A Distributed Network Management Framework Based on NGI -- Performance Evaluation of Scheme Integrating Mobile IP and NHRP over ATM Networks -- Improving Availability of P2P Storage Systems -- Research and Implementation of Dynamic Web Services Composition -- Call Admission Control for Multimedia CDMA Networks under Imperfect Power Control -- Efficient Data Consistency Schemes in 2-Tier Cellular Networks -- iHOPE: An Intelligent Handoff Protocol for Seamless Multimedia Service in Wireless Network -- Content and Cell Based Predictive Routing (CCPR) Protocol for Mobile Ad Hoc Networks -- A Multiple Access Scheme Using Split and Merge Algorithm for Contention/Reservation-Based Wireless MAC Protocols -- Applied Technologies -- Reconfigurable Cipher Processing Framework and Implementation -- A Dynamic Reconfiguration Platform Based on Distributed Component Technology CCM -- TMO-Based Object Group Framework for Supporting Distributed Object Management and Real-Time Services -- Extendable and Interchangeable Architecture Description of Distributed Systems Using UML and XML -- Dynamics in Hierarchical CSCW Systems -- The Tenure Duty Method (TDM) in the Active Incident Recovery Research -- A Combined Continuous-Time/Discrete-Event Computation Model for Heterogeneous Simulation Systems -- Information Geometry on Modular and Hierarchical Neural Network -- A Novel Speed-Up Algorithm of Fractal Image Compression -- Implementation and Evaluation of a Novel Parallel SAR Imaging Method on Clustering Systems -- Shape Registration Based on Modified Chain Codes -- A Distributed Parallel Resampling Algorithm for Large Images -- Collaborative Supervision of Machine Vision Systems: Breaking a Sequential Bottleneck in the Supervised Learning Process -- Parallel Storing and Querying XML Documents Using Relational DBMS -- A Variable Consistent Server Replication Model for Mobile Database -- Multi-scheduler Concurrency Control for Parallel Database Systems -- Optimal Broadcast Channel for Data Dissemination in Mobile Database Environment -- Global System Image Architecture for Cluster Computing. |
| Record Nr. | UNINA-9910144045103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Artificial Intelligence [[electronic resource] ] : 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings / / edited by Francisco Herrera, Sergio Damas, Rosana Montes, Sergio Alonso, Óscar Cordón, Antonio González, Alicia Troncoso
| Advances in Artificial Intelligence [[electronic resource] ] : 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings / / edited by Francisco Herrera, Sergio Damas, Rosana Montes, Sergio Alonso, Óscar Cordón, Antonio González, Alicia Troncoso |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXII, 396 p. 86 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Computer science—Mathematics Data structures (Computer science) Optical data processing Computers Artificial Intelligence Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Data Structures Image Processing and Computer Vision Models and Principles |
| ISBN | 3-030-00374-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Artificial Intelligence -- Fuzzy Sets and Systems -- Evolutionary Algorithms -- Data Mining -- Applications. |
| Record Nr. | UNISA-996466427403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Artificial Intelligence : 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings / / edited by Francisco Herrera, Sergio Damas, Rosana Montes, Sergio Alonso, Óscar Cordón, Antonio González, Alicia Troncoso
| Advances in Artificial Intelligence : 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings / / edited by Francisco Herrera, Sergio Damas, Rosana Montes, Sergio Alonso, Óscar Cordón, Antonio González, Alicia Troncoso |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXII, 396 p. 86 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Computer science—Mathematics Data structures (Computer science) Optical data processing Computers Artificial Intelligence Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Data Structures Image Processing and Computer Vision Models and Principles |
| ISBN | 3-030-00374-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Artificial Intelligence -- Fuzzy Sets and Systems -- Evolutionary Algorithms -- Data Mining -- Applications. |
| Record Nr. | UNINA-9910349399303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Discrete Mathematics in Computer Science
(1918)
- Computer science—Mathematics (1794)
- Algorithms (1417)
- Discrete mathematics (1146)
- Computer science (664)