top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Softwareentwicklung eingebetteter Systeme [electronic resource] : Grundlagen, Modellierung, Qualitätssicherung / by Peter Scholz
Softwareentwicklung eingebetteter Systeme [electronic resource] : Grundlagen, Modellierung, Qualitätssicherung / by Peter Scholz
Creatore [Scholz, Peter]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computer Systems Organization and Communication Networks
Software Engineering
Software Engineering/Programming and Operating Systems
Special Purpose and Application-Based Systems
ISBN 9783540275220
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UCHICAGO-6691614
[Scholz, Peter]  
Software
Lo trovi qui: University of Chicago
Cluster Computing [electronic resource] : Praktische Einführung in das Hochleistungsrechnen auf Linux-Clustern / by Heiko Bauke, Stephan Mertens
Cluster Computing [electronic resource] : Praktische Einführung in das Hochleistungsrechnen auf Linux-Clustern / by Heiko Bauke, Stephan Mertens
Creatore [Bauke, Heiko]
Accesso persona Mertens, Stephan
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Multimedia Information Systems
Software Engineering/Programming and Operating Systems
User Interfaces and Human Computer Interaction
ISBN 9783540299288
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UCHICAGO-6692452
[Bauke, Heiko]  
Software
Lo trovi qui: University of Chicago
Programmieren spielend gelernt [electronic resource] : mit dem Java-Hamster-Modell / by Dietrich Boles
Programmieren spielend gelernt [electronic resource] : mit dem Java-Hamster-Modell / by Dietrich Boles
Creatore [Boles, Dietrich]
Edizione [3. überarbeitete und erweiterte Auflage.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Civil Engineering
Software Engineering/Programming and Operating Systems
ISBN 9783835190023
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UCHICAGO-6693895
[Boles, Dietrich]  
Software
Lo trovi qui: University of Chicago
Spatio-Temporal Image Processing [electronic resource] : Theory and Scientific Applications / by Bernd Jähne
Spatio-Temporal Image Processing [electronic resource] : Theory and Scientific Applications / by Bernd Jähne
Creatore [Jähne, Bernd]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Geosciences
Computer Applications in Geosciences
Computer-Aided Engineering (CAD, CAE) and Design
Geophysics/Geodesy
Pattern Recognition
Software Engineering/Programming and Operating Systems
Systems and Information Theory in Engineering
ISBN 9783540574187
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355167
[Jähne, Bernd]  
Software
Lo trovi qui: University of Chicago
Software and Systems Traceability / edited by Jane Cleland-Huang, Orlena Gotel, Andrea Zisman
Software and Systems Traceability / edited by Jane Cleland-Huang, Orlena Gotel, Andrea Zisman
Creatore [Cleland-Huang, Jane]
Edizione [2012.]
Estensione 1 online resource
Disciplina 005.1
Accesso persona Gotel, Orlena
Zisman, Andrea
Genere/Forma Electronic books
Soggetto non controllato Software Engineering/Programming and Operating Systems
Software Engineering
Computer Science
ISBN 9781447122395
1447122399
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004622390
[Cleland-Huang, Jane]  
Materiale a stampa
Lo trovi qui: New York University
Progress in VLSI design and test : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay (eds.).
Progress in VLSI design and test : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay (eds.).
Creatore [VDAT (Symposium) (16th : 2012 : Shibpur, India)]
Estensione 1 online resource (xxii, 408 pages) : illustrations.
Disciplina 621.39/5
Accesso persona Rahaman, Hafizur
Chattopadhyay, Sanatan
Chattopadhyay, Santanu
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Logic design
Computer Communication Networks
Software engineering
Data structures (Computer science)
Computer software
Software Engineering/Programming and Operating Systems
Algorithm Analysis and Problem Complexity
Programming Techniques
ISBN 9783642314940
3642314945
3642314937
9783642314933
Classificazione 53.57
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto An Efficient High Frequency and Low Power Analog Multiplier in Current Domain / Anu Gupta and Subhrojyoti Sarkar -- Design of Push-Pull Dynamic Leaker Circuit for a Low Power Embedded Voltage Regulator / Biswajit Maity and Pradip Mandal -- Power Modeling of Power Gated FSM and Its Low Power Realization by Simultaneous Partitioning and State Encoding Using Genetic Algorithm / Priyanka Choudhury and Sambhu Nath Pradhan -- Design and Implementation of a Linear Feedback Shift Register Interleaver for Turbo Decoding / Rahul Shrestha and Roy Paily -- Low Complexity Encoder for Crosstalk Reduction in RLC Modeled Interconnects / Gunti Nagendra Babu, Brajesh Kumar Kaushik, Anand Bulusu and Manoj Kumar Majumder -- Analog Performance Analysis of Dual-k Spacer Based Underlap FinFET / Ashutosh Nandi, Ashok K. Saxena and Sudeb Dasgupta -- Implementation of Gating Technique with Modified Scan Flip-Flop for Low Power Testing of VLSI Chips / R. Jayagowri and K.S. Gurumurthy -- Post-bond Stack Testing for 3D Stacked IC / Surajit Kumar Roy, Dona Roy, Chandan Giri and Hafizur Rahaman -- Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker / Soumyadip Bandyopadhyay, Kunal Banerjee, Dipankar Sarkar and Chittaranjan R. Mandal -- Design of High Speed Vedic Multiplier for Decimal Number System / Prabir Saha, Arindam Banerjee, Anup Dandapat and Partha Bhattacharyya -- An Efficient Test Design for CMPs Cache Coherence Realizing MESI Protocol / Mamata Dalui and Biplab K. Sikdar -- An Efficient High Speed Implementation of Flexible Characteristic-2 Multipliers on FPGAs / Debapriya Basu Roy and Debdeep Mukhopadhyay -- Arithmetic Algorithms for Ternary Number System / Subrata Das, Partha Sarathi Dasgupta and Samar Sensarma -- SOI MEMS Based Over-Sampling Accelerometer Design with & Delta; & Epsilon;Output / Dushyant Juneja, Sougata Kar,^
Procheta Chatterjee and Siddhartha Sen -- Design Optimization of a Wide Band MEMS Resonator for Efficient Energy Harvesting / Goutam Rana, Samir Kumar Lahiri and Chirasree Roy Chaudhuri -- Ultra-Low Power Sub-threshold SRAM Cell Design to Improve Read Static Noise Margin / Chandrabhan Kushwah and Santosh K. Vishvakarma -- Workload Driven Power Domain Partitioning / Arun Dobriyal, Rahul Gonnabattula, Pallab Dasgupta and Chittaranjan R. Mandal -- Implementation of a New Offset Generator Block for the Low-Voltage, Low-Power Self Biased Threshold Voltage Extractor Circuit / Rituparna Dasgupta, Dipankar Saha, Jagannath Samanta, Sayan Chatterjee and Chandan Kumar Sarkar.
An Efficient High Frequency and Low Power Analog Multiplier in Current Domain / Anu Gupta and Subhrojyoti Sarkar -- Design of Push-Pull Dynamic Leaker Circuit for a Low Power Embedded Voltage Regulator / Biswajit Maity and Pradip Mandal -- Power Modeling of Power Gated FSM and Its Low Power Realization by Simultaneous Partitioning and State Encoding Using Genetic Algorithm / Priyanka Choudhury and Sambhu Nath Pradhan -- Design and Implementation of a Linear Feedback Shift Register Interleaver for Turbo Decoding / Rahul Shrestha and Roy Paily -- Low Complexity Encoder for Crosstalk Reduction in RLC Modeled Interconnects / Gunti Nagendra Babu, Brajesh Kumar Kaushik, Anand Bulusu and Manoj Kumar Majumder -- Analog Performance Analysis of Dual-k Spacer Based Underlap FinFET / Ashutosh Nandi, Ashok K. Saxena and Sudeb Dasgupta -- Implementation of Gating Technique with Modified Scan Flip-Flop for Low Power Testing of VLSI Chips / R. Jayagowri and K.S. Gurumurthy -- Post-bond Stack Testing for 3D Stacked IC / Surajit Kumar Roy, Dona Roy, Chandan Giri and Hafizur Rahaman -- Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker / Soumyadip Bandyopadhyay, Kunal Banerjee, Dipankar Sarkar and Chittaranjan R. Mandal -- Design of High Speed Vedic Multiplier for Decimal Number System / Prabir Saha, Arindam Banerjee, Anup Dandapat and Partha Bhattacharyya -- An Efficient Test Design for CMPs Cache Coherence Realizing MESI Protocol / Mamata Dalui and Biplab K. Sikdar -- An Efficient High Speed Implementation of Flexible Characteristic-2 Multipliers on FPGAs / Debapriya Basu Roy and Debdeep Mukhopadhyay -- Arithmetic Algorithms for Ternary Number System / Subrata Das, Partha Sarathi Dasgupta and Samar Sensarma -- SOI MEMS Based Over-Sampling Accelerometer Design with ΔΣ Output / Dushyant Juneja, Sougata Kar, Procheta^
Chatterjee and Siddhartha Sen -- Design Optimization of a Wide Band MEMS Resonator for Efficient Energy Harvesting / Goutam Rana, Samir Kumar Lahiri and Chirasree Roy Chaudhuri -- Ultra-Low Power Sub-threshold SRAM Cell Design to Improve Read Static Noise Margin / Chandrabhan Kushwah and Santosh K. Vishvakarma -- Workload Driven Power Domain Partitioning / Arun Dobriyal, Rahul Gonnabattula, Pallab Dasgupta and Chittaranjan R. Mandal -- Implementation of a New Offset Generator Block for the Low-Voltage, Low-Power Self Biased Threshold Voltage Extractor Circuit / Rituparna Dasgupta, Dipankar Saha, Jagannath Samanta, Sayan Chatterjee and Chandan Kumar Sarkar.
A High Speed, Low Jitter and Fast Acquisition CMOS Phase Frequency Detector for Charge Pump PLL / Manas Kumar Hati and Tarun Kanti Bhattacharyya -- ILP Based Approach for Input Vector Controlled (IVC) Toggle Maximization in Combinational Circuits / Jaynarayan T. Tudu, Deepak Malani and Virendra Singh -- Comparison of OpAmp Based and Comparator Based Switched Capacitor Filter / Manodipan Sahoo and Bharadwaj Amrutur -- Effect of Malicious Hardware Logic on Circuit Reliability / Sanjay Burman, Ayan Palchaudhuri, Rajat Subhra Chakraborty, Debdeep Mukhopadhyay and Pranav Singh -- A Modified Scheme for Simultaneous Reduction of Test Data Volume and Testing Power / P.R. Sruthi and M. Nirmala Devi -- Reusable and Scalable Verification Environment for Memory Controllers / Kiran Kumar Abburi, Siva Subrahmanya Evani, Sajeev Thomas and Anup Aprem -- Design of a Fault-Tolerant Conditional Sum Adder / Atin Mukherjee and Anindya Sundar Dhar -- SEU Tolerant Robust Latch Design / Mohammed Shayan, Virendra Singh, Adit D. Singh and Masahiro Fujita -- Design of Content Addressable Memory Architecture Using Carbon Nanotube Field Effect Transistors / Debaprasad Das, Avisek Sinha Roy and Hafizur Rahaman -- High-Speed Unified Elliptic Curve Cryptosystem on FPGAs Using Binary Huff Curves / Ayantika Chatterjee and Indranil Sengupta -- A 4 x 20 Gb/s 29-1 PRBS Generator for Testing a High-Speed DAC in 90nm CMOS Technology / Mahendra Sakare, Mohit Singh and Shalabh Gupta -- VLSI Architecture for Bit Parallel Systolic Multipliers for Special Class of GF(2m)Using Dual Bases / Hafizur Rahaman, Jimson Mathew, A.M. Jabir and Dhiraj K. Pradhan -- A Synthesis Method for Quaternary Quantum Logic Circuits / Sudhindu Bikash Mandal, Amlan Chakrabarti and Susmita Sur-Kolay -- On the Compact Designs of Low Power Reversible Decoders and Sequential Circuits / Lafifa Jamal, Md. Masbaul Alam Polash, M.A. Mottalib and Hafiz Md. Hasan Babu -- Delay Uncertainty in Single- and Multi-Wall Carbon Nanotube Interconnects / Debaprasad Das and Hafizur Rahaman -- A Fast FPGA Based Architecture for Sobel Edge Detection / Santanu Halder, Debotosh Bhattacharjee, Mita Nasipuri and Dipak Kumar Basu -- Speech Processor Design for Cochlear Implants / Arun Kumarappan and P.V. Ramakrishna -- An Efficient Technique for Longest Prefix Matching in Network Routers / Rekha Govindaraj, Indranil Sengupta and Santanu Chattopadhyay.
A Faster Hierarchical Balanced Bipartitioner for VLSI Floorplans Using Monotone Staircase Cuts / Bapi Kar, Susmita Sur-Kolay, Sridhar H. Rangarajan and Chittaranjan R. Mandal -- Test Data Compression for NoC Based SoCs Using Binary Arithmetic Operations / Sanga Chaki and Chandan Giri -- Particle Swarm Optimization Based BIST Design for Memory Cores in Mesh Based Network-on-Chip / Bibhas Ghoshal, Subhadip Kundu, Indranil Sengupta and Santanu Chattopadhyay -- An Efficient Multiplexer in Quantum-dot Cellular Automata / Bibhash Sen, Manojit Dutta, Divyam Saran and Biplab K. Sikdar -- Integrated Placement and Optimization Flow for Structured and Regular Logic / Vikram Singh Saun, Suman Chatterjee and Anand Arunachalam -- A Novel Symbol Estimation Algorithm for LTE Standard / K Kalyani and S. Rajaram -- Impact of Dummy Poly on the Process-Induced Mechanical Stress Enhanced Circuit Performance / Naushad Alam, Bulusu Anand and Sudeb Dasgupta -- A Novel Approach to Voltage-Drop Aware Placement in Large SoCs in Advanced Technology Nodes / Biswajit Patra, Santan Chattopadhyay and Amlan Chakrabarti -- Design and Implementation of Efficient Vedic Multiplier Using Reversible Logic / P. Saravanan, P. Chandrasekar, Livya Chandran, Nikilla Sriram and P. Kalpana -- Design of Combinational and Sequential Circuits Using Novel Feedthrough Logic / Sauvagya Ranjan Sahoo and Kamala Kanta Mahapatra -- Efficient FPGA Implementation of Montgomery Multiplier Using DSP Blocks / Arpan Mondal, Santosh Ghosh, Abhijit Das and Dipanwita Roy Chowdhury -- Independent Gate SRAM Based on Asymmetric Gate to Source/Drain Overlap-Underlap Device FinFET / Naveen Kaushik, Brajesh Kumar Kaushik, Davinder Kaur and Manoj Kumar Majumder -- VLSI Architecture for Spatial Domain Spread Spectrum Image Watermarking Using Gray-Scale Watermark / Sudip Ghosh, Somsubhra Talapatra, Debasish Mondal, Navonil Chatterjee and Hafizur Rahaman, et al. -- A Photonic Network on Chip with CDMA Links / Soumyajit Poddar, Prasun Ghosal, Priyajit Mukherjee, Suman Samui and Hafizur Rahaman -- Simulation Study of an Ultra Thin Body Silicon On Insulator Tunnel Field Effect Transistor / Partha Sarathi Gupta, Sayan Kanungo, Hafizur Rahaman and Partha Sarathi Dasgupta -- Routing in NoC on Diametrical 2D Mesh Architecture / Prasun Ghosal and Tuhin Subhra Das -- Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology (Invited Paper) / Rolf Drechsler and Robert Wille -- Power Problems in VLSI Circuit Testing / Farhana Rashid and Vishwani D. Agrawal.
Record Nr. NYU-004623499
[VDAT (Symposium) (16th : 2012 : Shibpur, India)]  
Materiale a stampa
Lo trovi qui: New York University
Finding source code on the web for remix and reuse / Susan Elliott Sim, Rosalva E. Gallardo-Valencia, editors
Finding source code on the web for remix and reuse / Susan Elliott Sim, Rosalva E. Gallardo-Valencia, editors
Estensione 1 online resource (xxi, 323 pages) : illustrations
Disciplina 005
Accesso persona Sim, Susan Elliott, editor
Gallardo-Valencia, Rosalva E., editor.
Genere/Forma Electronic books
Ebook
Soggetto non controllato Computer science
Software engineering
Database management
Software Engineering/Programming and Operating Systems
User Interfaces and Human Computer Interaction
Information Storage and Retrieval
ISBN 9781461465966
1461465966
1461465958
9781461465959
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Programmers and Practices. Unweaving Code Search Toward Remixing-Centered Programming Support / Kumiyo Nakakoji, Yasuhiro Yamamoto, Yoshiyuki Nishinaka -- Archetypal Internet-Scale Source Code Searching / Medha Umarji, Susan Elliott Sim -- A Controlled Experiment on the Process Used by Developers During Internet-Scale Code Search / Susan Elliott Sim, Megha Agarwala, Medha Umarji -- From Data Structures to Infrastructure. Artifact Representation Techniques for Large-Scale Software Search Engines / Oliver Hummel, Colin Atkinson, Marcus Schumacher -- Krugle Code Search Architecture / Ken Krugler -- Experiences and Lessons Learned with the Development of a Source Code Search Engine / Eduardo Santana de Almeida -- Infrastructure for Building Code Search Applications for Developers / Sushil Krishna Bajracharya -- Reuse: Components and Projects. Developing Software with Open Source Software Components / Claudia Ayala, Xavier Franch, Reidar Conradi, Jingyue Li, Daniela Cruzes -- Open Source Reuse and Strategic Imperatives / Rahul De', Ravi A. Rao -- Applying Program Analysis to Code Retrieval / Joel Ossher, Cristina Lopes -- Test-Driven Reuse: Key to Improving Precision of Search Engines for Software Reuse / Oliver Hummel, Werner Janjic -- Remix: Snippets and Answers. Software Problems That Motivate Web Searches / Rosalva E. Gallardo-Valencia, Susan Elliott Sim -- Novel and Applied Algorithms in a Search Engine for Java Code Snippets / Phitchayaphong Tantikul, C. Albert Thompson, Rosalva E. Gallardo-Valencia -- Facilitating Crowd Sourced Software Engineering via Stack Overflow / Ohad Barzilay, Christoph Treude, Alexey Zagalsky -- Looking Ahead. Intellectual Property Law in Source Code Reuse and Remix / Susan Elliott Sim, Erik B. Stenberg -- Richie Boss: Private Investigator Manager / Micah Joel -- Introduction: Remixing Snippets and Reusing Components / Susan Elliott Sim.
Record Nr. NYU-004638884
Materiale a stampa
Lo trovi qui: New York University
A primer on scientific programming with Python / Hans Petter Langtangen
A primer on scientific programming with Python / Hans Petter Langtangen
Creatore [Langtangen, Hans Petter, 1962-]
Edizione [3rd ed.]
Estensione 1 online resource.
Disciplina 005.13/3
Genere/Forma Electronic books
Soggetto non controllato Mathematics
Software engineering
Computer science
Computational Science and Engineering
Programming Techniques
Software Engineering/Programming and Operating Systems
Mathematics of Computing
Numerical and Computational Physics
ISBN 9783642302930
3642302939
3642302920
9783642302923
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error Handling -- Array Computing and Curve Plotting -- Files, Strings, and Dictionaries -- Introduction to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming.
Record Nr. NYU-004623573
[Langtangen, Hans Petter, 1962-]  
Materiale a stampa
Lo trovi qui: New York University
Programming multi-agent systems : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised selected papers / Rem Collier, Jürgen Dix, Peter Novák (eds.).
Programming multi-agent systems : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised selected papers / Rem Collier, Jürgen Dix, Peter Novák (eds.).
Creatore [ProMAS (Conference) (8th : 2010 : Toronto, Ont.)]
Estensione 1 online resource (x, 158 pages) : illustrations.
Disciplina 006.3
Accesso persona Collier, Rem.
Dix, J. (Jürgen), 1961-
Novak, Peter
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Artificial intelligence
Computer simulation
Programming Techniques
Simulation and Modeling
Software Engineering/Programming and Operating Systems
ISBN 9783642289392
3642289398
364228938X
9783642289385
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Towards Simulation-Aided Design of Multi-Agent Systems / Michal Pěchouček, Michal Jakob and Peter Novák -- Reinforcement Learning as Heuristic for Action-Rule Preferences / Joost Broekens, Koen Hindriks and Pascal Wiggers -- Towards Reasoning with Partial Goal Satisfaction in Intelligent Agents / M. Birna van Riemsdijk and Neil Yorke-Smith -- Evaluating Agent-Oriented Programs: Towards Multi-paradigm Metrics / Howell R. Jordan and Rem Collier -- Atomic Intentions in Jason + / Daniel Kiss, Neil Madden and Brian Logan -- Software Support for Organised Adaptation / Hugo Carr, Alexander Artikis and Jeremy Pitt -- Action and Perception in Agent Programming Languages: From Exogenous to Endogenous Environments / Alessandro Ricci, Andrea Santi and Michele Piunti -- An Interface for Agent-Environment Interaction / Tristan Behrens, Koen V. Hindriks, Rafael H. Bordini, Lars Braubach and Mehdi Dastani, et al.
Record Nr. NYU-004622267
[ProMAS (Conference) (8th : 2010 : Toronto, Ont.)]  
Materiale a stampa
Lo trovi qui: New York University
Software engineering for self-adaptive systems II : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010, Revised selected and invited papers / Rogério de Lemos [and others] (eds.).
Software engineering for self-adaptive systems II : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010, Revised selected and invited papers / Rogério de Lemos [and others] (eds.).
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Lemos, Rogério de, 1961-
Accesso convegno Software Engineering for Self-Adaptive Systems (Seminar) (2nd : 2010 : Dagstuhl, Wadern, Germany)
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Software engineering
Artificial intelligence
Computer simulation
Software Engineering/Programming and Operating Systems
Programming Techniques
Programming Languages, Compilers, Interpreters
ISBN 9783642358135
3642358136
9783642358128
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Research Roadmap -- Software Engineering for Self-Adaptive Systems: A Second Research Roadmap / Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson -- A Design Space for Self-Adaptive Systems / Yuriy Brun, Ron Desmarais, Kurt Geihs, Marin Litoiu, Antonia Lopes, Mary Shaw -- Software Engineering Processes for Self-Adaptive Systems / Jesper Andersson, Luciano Baresi, Nelly Bencomo, Rogério de Lemos, Alessandra Gorla -- On Patterns for Decentralized Control in Self-Adaptive Systems / Danny Weyns, Bradley Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola -- Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems / Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, João Pedro Sousa, Basil Becker -- Requirements and Policies -- Awareness Requirements / Vítor E. Silva Souza, Alexei Lapouchnian, William N. Robinson, John Mylopoulos -- Self-management of Distributed Systems Using High-Level Goal Policies / Liliana Rosa, Luís Rodrigues, Antónia Lopes -- Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines / Carlo Ghezzi, Amir Molzam Sharifloo -- Design Issues -- Uncertainty in Self-Adaptive Software Systems / Naeem Esfahani, Sam Malek -- A Software Lifecycle Process to Support Consistent Evolutions / Paola Inverardi, Marco Mori -- DYNAMICO: A Reference Model for Governing Control Objectives and Context Relevance in Self-Adaptive Software Systems / Norha M. Villegas, Gabriel Tamura, Hausi A. Müller, Laurence Duchien, Rubby Casallas -- Applications -- Fault-Adaptivity in Hard Real-Time Component-Based Software Systems / Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan -- Towards User Tailoring of Self-Adaptation in Ubiquitous Computing / João Pedro Sousa -- Hierarchical Self-Optimization of SaaS Applications in Clouds / Bradley Simmons, Hamoun Ghanbari, Sotirios Liaskos, Marin Litoiu, Gabriel Iszlai -- Self-Adaptivity from Different Application Perspectives / Kurt Geihs.
Record Nr. NYU-004626539
Materiale a stampa
Lo trovi qui: New York University