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.
Calcolo scientifico : Esercizi e problemi risolti con MATLAB e Octave / / by Alfio Quarteroni, F. Saleri
| Calcolo scientifico : Esercizi e problemi risolti con MATLAB e Octave / / by Alfio Quarteroni, F. Saleri |
| Autore | Quarteroni Alfio |
| Edizione | [4th ed. 2008.] |
| Pubbl/distr/stampa | Milano : , : Springer Milan : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (371 p.) |
| Disciplina |
004.01
004.01/51 |
| Collana | La Matematica per il 3+2 |
| Soggetto topico |
Mathematics
Mathematical analysis Analysis (Mathematics) Applied mathematics Engineering mathematics Computer mathematics Mathematical models Mathematics, general Analysis Applications of Mathematics Computational Mathematics and Numerical Analysis Mathematical Modeling and Industrial Mathematics |
| ISBN | 88-470-0838-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | Quel che non si può non sapere -- Equazioni non lineari -- Approssimazione di funzioni e di dati -- Differenziazione ed integrazione numerica -- Sistemi lineari -- Autovalori ed autovettori -- Equazioni differenziali ordinarie -- Metodi numerici per problemi ai limiti -- Soluzione degli esercizi proposti. |
| Record Nr. | UNINA-9910483425303321 |
Quarteroni Alfio
|
||
| Milano : , : Springer Milan : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Certified Programs and Proofs [[electronic resource] ] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings / / edited by Chris Hawblitzel, Dale Miller
| Certified Programs and Proofs [[electronic resource] ] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings / / edited by Chris Hawblitzel, Dale Miller |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 305 p. 64 illus.) |
| Disciplina | 004.01/51 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Compilers (Computer programs) Computer science—Mathematics Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Symbolic and Algebraic Manipulation Software Engineering Artificial Intelligence |
| ISBN | 3-642-35308-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Scalable Formal Machine Models -- Mechanized Semantics for Compiler Verification -- Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model Checking -- A Formally-Verified Alias Analysis -- Mechanized Verification of Computing Dominators for Formalizing Compilers -- On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor -- An Executable Semantics for CompCert C -- Producing Certified Functional Code from Inductive Specifications -- The New Quickcheck for Isabelle: Random, Exhaustive and Symbolic Testing under One Roof -- Proving Concurrent Noninterference -- Noninterference for Operating System Kernels -- Compositional Verification of a Baby Virtual Memory Manager -- Shall We Juggle, Coinductively? -- Proof Pearl: Abella Formalization of λ-Calculus Cube Property -- A String of Pearls: Proofs of Fermat’s Little Theorem -- Compact Proof Certificates for Linear Logic -- Constructive Completeness for Modal Logic with Transitive Closure -- Rating Disambiguation Errors -- A Formal Proof of Square Root and Division Elimination in Embedded Programs -- Coherent and Strongly Discrete Rings in Type Theory -- Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives. |
| Record Nr. | UNISA-996466275603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Algebra in Scientific Computing [[electronic resource] ] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
| Computer Algebra in Scientific Computing [[electronic resource] ] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 363 p. 42 illus.) |
| Disciplina | 004.01/51 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science—Mathematics Discrete mathematics Computer graphics Numerical analysis Computer arithmetic and logic units Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Computer Graphics Numerical Analysis Arithmetic and Logic Structures |
| ISBN | 3-642-32973-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations -- An Algebraic Characterization of Rainbow Connectivity -- Application of the Method of Asymptotic Solution to One Multi-Parameter Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler–Poisson Equations -- Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem -- Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates -- Comprehensive Involutive Systems -- A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials -- The Resonant Center Problem for a 2:-3 Resonant Cubic Lotka–Volterra System -- Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics Symbolic-Numerical Calculations of -- High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields -- Quasi-stability versus Genericity -- Invariant Theory: Applications and Computations (Invited Talk) -- Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems -- On Fulton’s Algorithm for Computing Intersection Multiplicities -- A Note on the Space Complexity of Fast D-Finite Function Evaluation -- Inversion Modulo Zero-Dimensional Regular Chains -- Sparse Polynomial Powering Using Heaps -- Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems -- Parallel Reduction of Matrices in Gr¨obner Bases Computations -- Real and Complex Polynomial Root-Finding by Means of Eigen-Solving -- Root-Refining for a Polynomial Equation -- PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks -- Approximately Singular Systems and Ill-Conditioned Polynomial Systems -- Symbolic-Numeric Implementation of the Method of Collocations and Least Squares for 3D Navier–Stokes Equations -- Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems -- Improving Angular Speed Uniformity by Optimal C0 Piecewise Reparameterization -- Usage of Modular Techniques for Efficient Computation of Ideal Operations (Invited Talk). |
| Record Nr. | UNISA-996465277903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering [[electronic resource] ] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings / / edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
| Computer Performance Engineering [[electronic resource] ] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings / / edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 286 p. 100 illus.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Computer logic Application software Computer programming Software Engineering/Programming and Operating Systems Software Engineering Computer Communication Networks Logics and Meanings of Programs Information Systems Applications (incl. Internet) Programming Techniques |
| ISBN |
1-280-38906-0
9786613566980 3-642-15784-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems -- Application of Advanced Model-Driven Techniques in Performance Engineering -- Network and Software Performance -- A New Markov-Based Mobility Prediction Algorithm for Mobile Networks -- Performance Aware Reconfiguration of Software Systems -- On the Energy-Performance Tradeoff for Parallel Applications -- Timed Models and Model Checking -- A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking -- Continuous Time and/or Continuous Distributions -- Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report -- Case Studies -- A Markovian Agent Model for Fire Propagation in Outdoor Environments -- Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs -- Performance Modeling and Analysis of the Universal Control Hub -- Model Solutions and Bounds -- Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing -- A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces -- State-Dependent Rates and Semi-Product-Form via the Reversed Process -- Compositional Analysis -- Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems -- A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes -- Compositional Abstraction of PEPA Models for Transient Analysis -- Composing Systems While Preserving Probabilities. |
| Record Nr. | UNISA-996465937403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings / / Alessandro Aldini, Marco Bernardo, Luciano Bononi (eds.)
| Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings / / Alessandro Aldini, Marco Bernardo, Luciano Bononi (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (X, 286 p. 100 illus.) |
| Disciplina | 004.01/51 |
| Altri autori (Persone) |
AldiniAlessandro
BernardoMarco BononiLuciano |
| Collana |
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science |
| Soggetto topico |
Computer systems - Evaluation
Formal methods (Computer science) Stochastic models |
| ISBN |
1-280-38906-0
9786613566980 3-642-15784-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems -- Application of Advanced Model-Driven Techniques in Performance Engineering -- Network and Software Performance -- A New Markov-Based Mobility Prediction Algorithm for Mobile Networks -- Performance Aware Reconfiguration of Software Systems -- On the Energy-Performance Tradeoff for Parallel Applications -- Timed Models and Model Checking -- A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking -- Continuous Time and/or Continuous Distributions -- Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report -- Case Studies -- A Markovian Agent Model for Fire Propagation in Outdoor Environments -- Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs -- Performance Modeling and Analysis of the Universal Control Hub -- Model Solutions and Bounds -- Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing -- A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces -- State-Dependent Rates and Semi-Product-Form via the Reversed Process -- Compositional Analysis -- Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems -- A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes -- Compositional Abstraction of PEPA Models for Transient Analysis -- Composing Systems While Preserving Probabilities. |
| Record Nr. | UNINA-9910484492803321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Delta-sigma A/D-converters : practical design for communication systems / / Richard Gaggl
| Delta-sigma A/D-converters : practical design for communication systems / / Richard Gaggl |
| Autore | Gaggl Richard |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2013 |
| Descrizione fisica | 1 online resource (156 p.) |
| Disciplina |
004.01/51
621.381/32 |
| Collana | Springer Series in Advanced Microelectronics |
| Soggetto topico |
Analog-to-digital converters
Digital-to-analog converters Modulators (Electronics) - Design |
| ISBN |
3-642-34543-3
1-283-94633-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Limitations of Delta-Sigma Converters -- A Delta-Sigma Converter with Dynamic-Biasing Technique -- A feed-forward Delta-Sigma Converter for ADSL -- A Delta-Sigma Converter for WLAN using a TEQ. |
| Record Nr. | UNINA-9910437893303321 |
|
Gaggl Richard
|
||
| Berlin, : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Approaches to Software Testing [[electronic resource] ] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / / edited by Wolfgang Grieskamp, Carsten Weise
| Formal Approaches to Software Testing [[electronic resource] ] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / / edited by Wolfgang Grieskamp, Carsten Weise |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 219 p.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-34455-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Proceedings FATES 2005 -- Simulated Time for Testing Railway Interlockings with TTCN-3 -- Model-Based Testing Through a GUI -- Play to Test -- A Note on an Anomaly in Black-Box Testing -- A Novel Test Coverage Metric for Concurrently-Accessed Software Components -- Adaptive Random Testing by Bisection and Localization -- Interactive Testing with HOL-TestGen -- Conformance Testing Relations for Timed Systems -- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM -- Calculating Probabilities of Real-Time Test Cases -- Time Unbalanced Partial Order -- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach -- Automated Generation of Positive and Negative Tests for Parsers -- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. |
| Record Nr. | UNISA-996465885503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / / Wolfgang Grieskamp, Carsten Weise (eds.)
| Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / / Wolfgang Grieskamp, Carsten Weise (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, c2006 |
| Descrizione fisica | 1 online resource (XII, 219 p.) |
| Disciplina | 004.01/51 |
| Altri autori (Persone) |
GrieskampWolfgang <1960->
WeiseCarsten |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Formal methods (Computer science)
Computer software - Testing |
| ISBN | 3-540-34455-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Proceedings FATES 2005 -- Simulated Time for Testing Railway Interlockings with TTCN-3 -- Model-Based Testing Through a GUI -- Play to Test -- A Note on an Anomaly in Black-Box Testing -- A Novel Test Coverage Metric for Concurrently-Accessed Software Components -- Adaptive Random Testing by Bisection and Localization -- Interactive Testing with HOL-TestGen -- Conformance Testing Relations for Timed Systems -- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM -- Calculating Probabilities of Real-Time Test Cases -- Time Unbalanced Partial Order -- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach -- Automated Generation of Positive and Negative Tests for Parsers -- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. |
| Altri titoli varianti | FATES 2005 |
| Record Nr. | UNINA-9910483902403321 |
| Berlin, : Springer-Verlag, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Aspects of Component Software [[electronic resource] ] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / / edited by Farhad Arbab, Peter Csaba Ölveczky
| Formal Aspects of Component Software [[electronic resource] ] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / / edited by Farhad Arbab, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 369 p. 131 illus.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Programming languages (Electronic computers) Computer programming Management information systems Computer science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Management of Computing and Information Systems |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-35743-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A Denotational Model for Component-Based Risk Analysis -- Synthesis of Hierarchical Systems -- A Modal Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles in Maude -- Interactive Transformations from Object-Oriented Models to Component-Based Models -- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components -- Timed Conformance Testing for Orchestrated Service Discovery -- Realizability of Choreographies for Services Interacting Asynchronously -- Networks of Real-Time Actors: Schedulability Analysis and Coordination -- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios -- The Logic of XACML -- A Proof Assistant Based Formalization of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation -- Verifying Safety of Fault-Tolerant Distributed Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques -- Biographical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines -- Verifying Temporal Properties of Use-Cases in Natural Language. |
| Record Nr. | UNISA-996466035803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
| Formal Methods for Components and Objects [[electronic resource] ] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 356 p. 129 illus.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Application software Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) |
| ISBN | 3-642-35887-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The ASCENS Project -- ASCENS: Engineering Autonomic Service-Component Ensembles -- A Language-Based Approach to Autonomic Computing -- A Survey on Basic Connectors and Buffers -- The EternalS Coordination Action -- Synthesis-Based Variability Control: Correctness by Construction -- Modeling Application-Level Management of Virtualized Resources in ABS -- HATS Abstract Behavioral Specification: The Architectural View -- Automatic Service Categorisation through Machine Learning in Emergent Middleware -- Towards a Model- and Learning-Based Framework for Security Anomaly Detection -- Enhancing Model Driven Security through Pattern Refinement Techniques -- Project Zeppelin: A Modern Web Application Development Framework -- The ParaPhrase Project -- Managing Adaptivity in Parallel Systems -- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems -- Paraphrasing: Generating Parallel Programs Using Refactoring -- An Abstract Annotation Model for Skeletons -- The PRO3D Project -- PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status -- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems -- Component Assemblies in the Context of Manycore -- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints. |
| Record Nr. | UNISA-996465989903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
