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.
Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers / Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman (eds.).
Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers / Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman (eds.).
Creatore [MABS 2011 (2011 : Taipei, Taiwan)]
Estensione 1 online resource (viii, pages) : illustrations.
Disciplina 003/.3
Accesso persona Villatoro, Daniel
Sabater-Mir, Jordi
Sichman, Jaime S. (Jaime Simão)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Artificial intelligence
Computer simulation
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Simulation and Modeling
Special Purpose and Application-Based Systems
ISBN 9783642284007
3642284000
9783642283994
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004374404
[MABS 2011 (2011 : Taipei, Taiwan)]  
Materiale a stampa
Lo trovi qui: New York University
Guide to FPGA implementation of arithmetic functions / Jean-Pierre Deschamps, Gustavo D. Sutter, Enrique Cantó
Guide to FPGA implementation of arithmetic functions / Jean-Pierre Deschamps, Gustavo D. Sutter, Enrique Cantó
Creatore [Deschamps, Jean-Pierre, 1945-]
Estensione 1 online resource (xv, 469 pages).
Disciplina 621.39/5
Accesso persona Sutter, Gustavo D.
Cantó, Enrique
Genere/Forma Electronic books
Soggetto non controllato Engineering
Software engineering
Computer software
Systems engineering
Circuits and Systems
Algorithm Analysis and Problem Complexity
Special Purpose and Application-Based Systems
ISBN 9789400729872
9400729871
9789400729865
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Basic Building Blocks -- Architecture of Digital Circuits -- Special Topics of Data Path Synthesis -- Control Unit Synthesis -- Electronic Aspects of Digital Design -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Decimal Operations -- Floating Point Arithmetic -- Finite-Field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial Reconfiguration on Xilinx FPGAs.
Record Nr. NYU-004374893
[Deschamps, Jean-Pierre, 1945-]  
Materiale a stampa
Lo trovi qui: New York University
Communication technologies for vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 14-15, 2013 : proceedings / Marion Berbineau [and others] (eds.).
Communication technologies for vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 14-15, 2013 : proceedings / Marion Berbineau [and others] (eds.).
Creatore [Nets4Cars/Nets4Trains (Workshop) (5th : 2013 : Villeneuve-d'Ascq, France)]
Estensione 1 online resource (xiii, 252 pages) : illustrations.
Disciplina 621.3845
Accesso persona Berbineau, Marion
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer simulation
Special Purpose and Application-Based Systems
System Performance and Evaluation
ISBN 9783642379741
3642379745
9783642379734
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers. V2V Communication Channels: State of Knowledge, New Results, and What's Next / David W. Matolak -- Internet Onboard: Technical Analysis / Hassan Ghannoum, David Sanz -- A QoS-Based Multi-user Scheduler Applied to Railway Radio-Communications / Nicolas Gresset, Jonathan Letessier, Hervé Bonneville -- Road Track. Survey on Context-Aware Publish/Subscribe Systems for VANET / Mickaël Royer, Alain Pirovano, Fabien Garcia -- A Survey on Security in Vehicular Ad Hoc Networks / Saira Gillani [and others] -- Wireless Vehicular Network Standard Harmonization / Tsutomu Tsuboi -- Multi-technology Vehicular Cooperative System Based on Software Defined Radio (SDR) / Nathalie Haziza [and others] -- Performance of Inter-Vehicle Relay Network Based IR-UWB / Yamen Issa, Iyad Dayoub, Abdelaziz Bensrhair -- The Effects of Increasing Antenna Arrays and Spatial Correlation on Loading Algorithm for Closed-Loop MIMO Vehicle-to-Infrastructure Communications / Imade Fahd Eddine Fatani [and others] -- Increased Communication Reliability for Delay-Sensitive Platooning Applications on Top of IEEE 802.11p / Magnus Jonsson, Kristina Kunert, Annette Böhm -- Development of Car2X Communication and Localization PHY and MAC Protocol Following Iterative Spiral Model Using Simulation and Emulation / Axel Sikora [and others] -- Characterization of a Laser Scanner Sensor for the Use as a Reference System in Vehicular Relative Positioning / Fabian de Ponte Müller, Luis Martín Navajas, Thomas Strang -- Estimating the Scheduling Discipline of an Ethernet Switch Using Constant Bit-Rate Probes / Kasper Revsbech, Tatiana K. Madsen, Henrik Schiøler -- Bridging Physical and Digital Traffic System Simulations with the Gulliver Test-Bed / Christian Berger [and others] -- Open-VSeSeMe: A Middleware for Efficient Vehicular Sensor Processing / Zubair Nabi [and others] -- Rail Track. LTE Based Communication System for Urban Guided-Transport: A QoS Performance Study / Arwa Khayat [and others] -- Performance of LTE in High Speed Railway Scenarios / Aleksander Sniady, Jose Soler -- Generating Test Scenarios Based on Real-World Traces for ERTMS Telecommunication Subsystem Evaluation / Patrick Sondi [and others] -- Blind Digital Modulation Detector for MIMO Systems over High-Speed Railway Channels / Sofiane Kharbech [and others] -- Enhancing the CATS Framework by Providing Asynchronous Deployment for Mobile Application / Mikael Desertot, Christophe Gransart, Sylvain Lecomte.
Record Nr. NYU-004401790
[Nets4Cars/Nets4Trains (Workshop) (5th : 2013 : Villeneuve-d'Ascq, France)]  
Materiale a stampa
Lo trovi qui: New York University
Euro-Par 2011: Parallel processing workshops : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29-September 2, 2011, Revised selected papers. Part II / Michael Alexander [and others] (eds.).
Euro-Par 2011: Parallel processing workshops : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29-September 2, 2011, Revised selected papers. Part II / Michael Alexander [and others] (eds.).
Creatore [International EURO-PAR Conference (17th : 2011 : Bordeaux, France)]
Estensione 1 online resource (xxx, 480 pages).
Disciplina 004.6/185
Accesso persona Alexander, Michael, 1970 September 25-
Accesso convegno CCPI 2011 (2011 : Bordeaux, France)
CGWS 2011 (2011 : Bordeaux, France)
International Workshop on Algorithms, Models, and Tools for Parallel Computing on Heterogenous Networks (2011 : Bordeaux, France)
HiBB 2011 (2011 : Bordeaux, France)
HPCVirt 2011 (2011 : Bordeaux, France)
HPPC 2011 (2011 : Bordeaux, France)
HPSS 2011 (2011 : Bordeaux, France)
MDGS 2011 (2011 : Bordeaux, France)
ProPer 2011 (2011 : Bordeaux, France)
Resilience (Conference) (2011 : Bordeaux, France)
UCHPC 2011 (2011 : Bordeaux, France)
VHPC 2011 (2011 : Bordeaux, France)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer system performance
Computer software
System Performance and Evaluation
Algorithm Analysis and Problem Complexity
Programming Techniques
Special Purpose and Application-Based Systems
ISBN 9783642297403
3642297404
3642297390
9783642297397
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto HiBB 2011: 2nd Workshop on High Performance Bioinformatics and Biomedicine / Mario Cannataro -- On Parallelizing On-Line Statistics for Stochastic Biological Simulations / Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco and Eva Sciacca, et al. -- Scalable Sequence Similarity Search and Join in Main Memory on Multi-cores / Astrid Rheinländer and Ulf Leser -- Enabling Data and Compute Intensive Workflows in Bioinformatics / Gaurang Mehta, Ewa Deelman, James A. Knowles, Ting Chen and Ying Wang, et al. -- Homogenizing Access to Highly Time-Consuming Biomedical Applications through a Web-Based Interface / Luigi Grasso, Nuria Medina-Medina, Rosana Montes-Soldado and María M. Abad-Grau -- Distributed Management and Analysis of Omics Data / Mario Cannataro and Pietro Hiram Guzzi -- Managing and Delivering Grid Services (MDGS) / Thomas Schaaf, Adam S.Z. Belloum, Owen Appleton, Joan Serrat-Fernández and Tomasz Szepieniec -- Resource Allocation for the French National Grid Initiative / Gilles Mathieu and Hélène Cordier -- On Importance of Service Level Management in Grids / Tomasz Szepieniec, Joanna Kocot, Thomas Schaaf, Owen Appleton and Matti Heikkurinen, et al.
On-Line Monitoring of Service-Level Agreements in the Grid / Bartosz Balis, Renata Slota, Jacek Kitowski and Marian Bubak -- Challenges of Future e-Infrastructure Governance / Dana Petcu -- Influences between Performance Based Scheduling and Service Level Agreements / Antonella Galizia, Alfonso Quarati, Michael Schiffers and Mark Yampolskiy -- User Centric Service Level Management in mOSAIC Applications / Massimiliano Rak, Rocco Aversa, Salvatore Venticinque and Beniamino Di Martino -- Service Level Management for Executable Papers / Reginald Cushing, Spiros Koulouzis, Rudolf Strijkers, Adam S.Z. Belloum and Marian Bubak -- Change Management in e-Infrastructures to Support Service Level Agreements / Silvia Knittl, Thomas Schaaf and Ilya Saverchenko -- PROPER 2011: Fourth Workshop on Productivity and Performance Tools for HPC Application Development / Michael Gerndt -- Scout: A Source-to-Source Transformator for SIMD-Optimizations / Olaf Krzikalla, Kim Feldhoff, Ralph Müller-Pfefferkorn and Wolfgang E. Nagel -- Scalable Automatic Performance Analysis on IBM BlueGene/P Systems / Yury Oleynik and Michael Gerndt -- An Approach to Creating Performance Visualizations in a Parallel Profile Analysis Tool / Wyatt Spear, Allen D. Malony, Chee Wai Lee, Scott Biersdorff and Sameer Shende.
INAM -- A Scalable InfiniBand Network Analysis and Monitoring Tool / N. Dandapanthula, H. Subramoni, J. Vienne, K. Kandalla and S. Sur, et al. -- Auto-tuning for Energy Usage in Scientific Applications / Ananta Tiwari, Michael A. Laurenzano, Laura Carrington and Allan Snavely -- Automatic Source Code Transformation for GPUs Based on Program Comprehension / Pasquale Cantiello and Beniamino Di Martino -- Enhancing Brainware Productivity through a Performance Tuning Workflow / Christian Iwainsky, Ralph Altenfeld, Dieter an Mey and Christian Bischof -- Workshop on Resiliency in High Performance Computing (Resilience) in Clusters, Clouds, and Grids / Stephen L. Scott and Chokchai (Box) Leangsuksun -- The Malthusian Catastrophe Is Upon Us! Are the Largest HPC Machines Ever Up? / Patricia Kovatch, Matthew Ezell and Ryan Braby -- Simulating Application Resilience at Exascale / Rolf Riesen, Kurt B. Ferreira, Maria Ruiz Varela, Michela Taufer and Arun Rodrigues -- Framework for Enabling System Understanding / J. Brandt, F. Chen, A. Gentile, Chokchai (Box) Leangsuksun and J. Mayo, et al. -- Cooperative Application/OS DRAM Fault Recovery / Patrick G. Bridges, Mark Hoemmen, Kurt B. Ferreira, Michael A. Heroux and Philip Soltero, et al.
A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC / David Fiala, Kurt B. Ferreira, Frank Mueller and Christian Engelmann -- Reducing the Impact of Soft Errors on Fabric-Based Collective Communications / José Carlos Sancho, Ana Jokanovic and Jesus Labarta -- Evaluating Application Vulnerability to Soft Errors in Multi-level Cache Hierarchy / Zhe Ma, Trevor Carlson, Wim Heirman and Lieven Eeckhout -- Experimental Framework for Injecting Logic Errors in a Virtual Machine to Profile Applications for Soft Error Resilience / Nathan DeBardeleben, Sean Blanchard, Qiang Guan, Ziming Zhang and Song Fu -- High Availability on Cloud with HA-OSCAR / Thanadech Thanakornworakij, Rajan Sharma, Blaine Scroggs, Chokchai (Box) Leangsuksun and Zeno Dixon Greenwood, et al. -- On the Viability of Checkpoint Compression for Extreme Scale Fault Tolerance / Dewan Ibtesham, Dorian Arnold, Kurt B. Ferreira and Patrick G. Bridges -- Can Checkpoint/Restart Mechanisms Benefit from Hierarchical Data Staging? / Raghunath Rajachandrasekar, Xiangyong Ouyang, Xavier Besseron, Vilobh Meshram and Dhabaleswar K. Panda -- Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol / Xavier Besseron and Thierry Gautier.
UCHPC 2011: Fourth Workshop on UnConventional High Performance Computing / Anders Hast, Josef Weidendorfer and Jan-Philipp Weiss -- PACUE: Processor Allocator Considering User Experience / Tetsuro Horikawa, Michio Honda, Jin Nakazawa, Kazunori Takashio and Hideyuki Tokuda -- Workload Balancing on Heterogeneous Systems: A Case Study of Sparse Grid Interpolation / Alin Muraraşu, Josef Weidendorfer and Arndt Bode -- Performance Evaluation of a Multi-GPU Enabled Finite Element Method for Computational Electromagnetics / Tristan Cabel, Joseph Charles and Stéphane Lanteri -- Study of Hierarchical N-Body Methods for Network-on-Chip Architectures / Thomas Canhao Xu, Pasi Liljeberg and Hannu Tenhunen -- Extending a Highly Parallel Data Mining Algorithm to the Intel ® Many Integrated Core Architecture / Alexander Heinecke, Michael Klemm, Dirk Pflüger, Arndt Bode and Hans-Joachim Bungartz -- VHPC 2011: 6th Workshop on Virtualization in High-Performance Cloud Computing / Michael Alexander and Gianluigi Zanetti -- Group-Based Memory Deduplication for Virtualized Clouds / Sangwook Kim, Hwanju Kim and Joonwon Lee.
A Smart HPC Interconnect for Clusters of Virtual Machines / Anastassios Nanos, Nikos Nikoleris, Stratos Psomadakis, Elisavet Kozyri and Nectarios Koziris -- Coexisting Scheduling Policies Boosting I/O Virtual Machines / Dimitris Aragiorgis, Anastassios Nanos and Nectarios Koziris -- PIGA-Virt: An Advanced Distributed MAC Protection of Virtual Systems / J. Briffaut, E. Lefebvre, J. Rouzaud-Cornabas and C. Toinard -- An Economic Approach for Application QoS Management in Clouds / Stefania Costache, Nikos Parlavantzas, Christine Morin and Samuel Kortas -- Evaluation of the HPC Challenge Benchmarks in Virtualized Environments / Piotr Luszczek, Eric Meek, Shirley Moore, Dan Terpstra and Vincent M. Weaver, et al. -- DISCOVERY, Beyond the Clouds / DIStributed and COoperative Framework to Manage Virtual EnviRonments autonomicallY: A Prospective Study / Adrien Lèbre, Paolo Anedda, Massimo Gaggero and Flavien Quesnel -- Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems / Flavien Quesnel and Adrien Lèbre -- Large-Scale DNA Sequence Analysis in the Cloud: A Stream-Based Approach / Romeo Kienzler, Rémy Bruggmann, Anand Ranganathan and Nesime Tatbul.
Record Nr. NYU-004622622
[International EURO-PAR Conference (17th : 2011 : Bordeaux, France)]  
Materiale a stampa
Lo trovi qui: New York University
Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / Mariëlle Stoelinga, Ralf Pinger (eds.).
Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / Mariëlle Stoelinga, Ralf Pinger (eds.).
Creatore [International Workshop on Formal Methods for Industrial Critical Systems (17th : 2012 : Paris, France)]
Estensione 1 online resource.
Accesso persona Stoelinga, Mariëlle
Pinger, Ralf
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Information systems
Special Purpose and Application-Based Systems
Computer Appl. in Administrative Data Processing
ISBN 9783642324697
364232469X
3642324681
9783642324680
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Real-Time Specification Patterns and Tools / Nouha Abid, Silvano Dal Zilio and Didier Le Botlan -- Automated Extraction of Abstract Behavioural Models from JMS Applications / Elvira Albert, Bjarte M. Østvold and José Miguel Rojas -- Certifying and Reasoning on Cost Annotations in C Programs / Nicolas Ayache, Roberto M. Amadio and Yann Régis-Gianas -- Waiting for Locks: How Long Does It Usually Take? / Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig and Joachim Klein, et al. -- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications / Victor Bandur, Wolfram Kahl and Alan Wassyng -- Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs / Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvíla and Petr Ročkai -- Range Analysis of Binaries with Minimal Effort / Edd Barrett and Andy King.
Combining Analyses for C Program Verification / Loïc Correnson and Julien Signoles -- Model Checking the FlexRay Startup Phase / Sjoerd Cranen -- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations / Rainer Droste, Christoph Läsche, Cilli Sobiech, Eckard Böde and Axel Hahn -- Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis / Luca Ferrucci, Dino Mandrioli, Angelo Morzenti and Matteo Rossi -- Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems / Vlad Popa and Wolfgang Schwitzer -- A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java / Konrad Siek and Paweł T. Wojciechowski -- Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution / Jiří Slabý, Jan Strejček and Marek Trtík.
Record Nr. UCHICAGO-11077241
[International Workshop on Formal Methods for Industrial Critical Systems (17th : 2012 : Paris, France)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Multicore software engineering, performance, and tools : International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Victor Pankratius, Michael Philippsen
Multicore software engineering, performance, and tools : International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Victor Pankratius, Michael Philippsen
Creatore [MSEPT (Conference) (2012 : Prague, Czech Republic)]
Estensione 1 online resource.
Accesso persona Pankratius, Victor
Philippsen, Michael
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer system performance
Operating systems (Computers)
Special Purpose and Application-Based Systems
System Performance and Evaluation
Programming Languages, Compilers, Interpreters
Operating Systems
Programming Techniques
ISBN 9783642312021
3642312020
9783642312014
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Processors and Their Collection / Bertrand Meyer, Alexander Kogtenkov and Anton Akhi -- Tackling the Testing and Verification of Multicore and Concurrent Software as a Search Problem / Lionel C. Briand -- Oversubscription of Computational Resources on Multicore Desktop Systems / Constantin Christmann, Erik Hebisch and Anette Weisbecker -- Capturing Transactional Memory Application's Behavior -- The Prerequisite for Performance Analysis / Martin Schindewolf and Wolfgang Karl -- A Comparison of the Influence of Different Multi-core Processors on the Runtime Overhead for Application-Level Monitoring / Jan Waller and Wilhelm Hasselbring -- Analysis of Event Processing Design Patterns and Their Performance Dependency on I/O Notification Mechanisms / Ronald Strebelow and Christian Prehofer -- Non-intrusive Coscheduling for General Purpose Operating Systems / Jan H. Schönherr, Bianca Lutz and Jan Richling -- Automatic Parallelization Using AutoFutures / Korbinian Molitorisz, Jochen Schimmel and Frank Otto -- Invasive Computing: An Application Assisted Resource Management Approach / Andreas Hollmann and Michael Gerndt -- Parallel Graph Transformations on Multicore Systems / Gábor Imre and Gergely Mezei -- Reduction of Electronic Control Units in Electric Vehicles Using Multicore Technology / Georg Gut, Christian Allmann, Markus Schurius and Karsten Schmidt.
Record Nr. UCHICAGO-11076938
[MSEPT (Conference) (2012 : Prague, Czech Republic)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Euro-Par 2013 parallel processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings / edited by Felix Wolf, Bernd Mohr, Dieter an Mey (eds.).
Euro-Par 2013 parallel processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings / edited by Felix Wolf, Bernd Mohr, Dieter an Mey (eds.).
Creatore [International EURO-PAR Conference (19th : 2013 : Aachen, Germany)]
Estensione 1 online resource.
Disciplina 004.6/185
Accesso persona Wolf, Felix
Mohr, Bernd
Mey, Dieter an.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer system performance
Operating systems (Computers)
Electronic data processing
Programming Languages, Compilers, Interpreters
Operating Systems
System Performance and Evaluation
Numeric Computing
Special Purpose and Application-Based Systems
ISBN 9783642400476 (electronic bk.)
3642400477 (electronic bk.)
9783642400469
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960109133503681
[International EURO-PAR Conference (19th : 2013 : Aachen, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computer safety, reliability, and security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.).
Computer safety, reliability, and security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.).
Creatore [SAFECOMP 2012 (2012 : Magdeburg, Germany)]
Estensione 1 online resource.
Disciplina 005
Accesso persona Ortmeier, Frank
Daniel, Peter, 1950-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data protection
Computer software
Systems and Data Security
Algorithm Analysis and Problem Complexity
Computers and Society
Special Purpose and Application-Based Systems
ISBN 9783642336782 (electronic bk.)
3642336787 (electronic bk.)
9783642336775
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Lightweight Methodology for Safety Case Assembly / Ewen Denney and Ganesh Pai -- A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production / André Alexandersen Hauge and Ketil Stølen -- Risk Assessment for Airworthiness Security / Silvia Gil Casals, Philippe Owezarski and Gilles Descargues -- A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , / Christoph Läsche, Eckard Böde and Thomas Peikenkamp -- Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIA / Manfred Schäfer -- Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment / Christoph Woskowski -- Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, / Viacheslav Izosimov, Urban Ingelsson and Andreas Wallin -- Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile / Jan Krause, Elke Hintze, Stephan Magnus and Christian Diedrich -- Quantification of Priority-OR Gates in Temporal Fault Trees / Ernest Edifor, Martin Walker and Neil Gordon --
Cross-Level Compositional Reliability Analysis for Embedded Systems / Michael Gla€, Heng Yu, Felix Reimann and Jürgen Teich -- IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication Data / Tobias Hoppe, Sven Kuhlmann, Stefan Kiltz and Jana Dittmann -- Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation / Hans-Hermann Bock, Jens Braband, Birgit Milius and Hendrik Schäbe -- Towards Secure Fieldbus Communication / Felix Wieczorek, Christoph Krau€, Frank Schiller and Claudia Eckert -- Extracting EFSMs of Web Applications for Formal Requirements Specification / Andrey Zakonov and Anatoly Shalyto -- An Ontological Approach to Systematization of SW-FMEA / Irene Bicchierai, Giacomo Bucci, Carlo Nocentini and Enrico Vicario -- Online Black-Box Failure Prediction for Mission Critical Distributed Systems / Roberto Baldoni, Giorgia Lodi, Luca Montanari, Guido Mariotta and Marco Rizzuto -- On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions / Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie, Johan Karlsson and Roger Johansson --
Formal Development and Assessment of a Reconfigurable On-board Satellite System / Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala and Laura Nummila -- Impact of Soft Errors in a Jet Engine Controller / Olof Hannius and Johan Karlsson -- Which Automata for Which Safety Assessment Step of Satellite FDIR? / Ludovic Pintard, Christel Seguin and Jean-Paul Blanquart -- A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context / Carl Bergenhem, Rolf Johansson and Henrik Lönn -- Reviewing Software Models in Compliance with ISO 26262 / Ingo Stürmer, Elke Salecker and Hartmut Pohlheim -- Software Architecture of a Safety-Related Actuator in Traffic Management Systems / Thomas Novak and Christoph Stoegerer -- Approximate Reliability Algebra for Architecture Optimization / Philipp Helle, Michael Masin and Lev Greenberg -- On the Formal Verification of Systems of Synchronous Software Components / Henning Günther, Stefan Milius and Oliver Möller --
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments / Anaheed Ayoub, BaekGyu Kim, Insup Lee and Oleg Sokolsky -- Determining Potential Errors in Tool Chains: Strategies to Reach Tool Confidence According to ISO 26262 / Martin Wildmoser, Jan Philipps and Oscar Slotosch -- Safety-Focused Deployment Optimization in Open Integrated Architectures / Bastian Zimmer, Susanne Bürklen, Jens Höfflinger, Mario Trapp and Peter Liggesmeyer -- Qualifying Software Tools, a Systems Approach / Fredrik Asplund, Jad El-khoury and Martin Törngren -- Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems / Rosana T. Vaccare Braga, Onofre Trindade Junior, Kalinka Regina Castelo Branco, Luciano De Oliveira Neris and Jaejoon Lee -- Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings / Mark-Alexander Sujan and Massimo Felici -- A STAMP Analysis on the China-Yongwen Railway Accident / Tian Song, Deming Zhong and Hang Zhong -- Efficient Software Component Reuse in Safety-Critical Systems - An Empirical Study / Rikard Land, Mikael Åkerholm and Jan Carlson.
Record Nr. UPENN-9960099773503681
[SAFECOMP 2012 (2012 : Magdeburg, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Cooperative Buildings. Integrating Information, Organizations, and Architecture [electronic resource] : Second International Workshop, CoBuild'99, Pittsburgh, PA, USA, October 1-2, 1999, Proceedings / by Norbert Streitz, Jane Siegel, Volker Hartkopf
Cooperative Buildings. Integrating Information, Organizations, and Architecture [electronic resource] : Second International Workshop, CoBuild'99, Pittsburgh, PA, USA, October 1-2, 1999, Proceedings / by Norbert Streitz, Jane Siegel, Volker Hartkopf
Creatore [Streitz, Norbert]
Accesso persona Hartkopf, Volker
Konomi, Shinʼichi
Siegel, Jane
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computers and Society
Management of Computing and Information Systems
Special Purpose and Application-Based Systems
User Interfaces and Human Computer Interaction
ISBN 9783540665960
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355953
[Streitz, Norbert]  
Software
Lo trovi qui: University of Chicago
Guide to FPGA implementation of arithmetic functions [electronic resource] / Jean-Pierre Deschamps, Gustavo D. Sutter, Enrique Cantó
Guide to FPGA implementation of arithmetic functions [electronic resource] / Jean-Pierre Deschamps, Gustavo D. Sutter, Enrique Cantó
Creatore [Deschamps, Jean-Pierre, 1945-]
Estensione 1 online resource (xv, 469 p.)
Disciplina 621.39/5
Accesso persona Sutter, Gustavo D.
Cantó, Enrique
Genere/Forma Electronic books
Soggetto non controllato Engineering
Software engineering
Computer software
Systems engineering
Circuits and Systems
Algorithm Analysis and Problem Complexity
Special Purpose and Application-Based Systems
ISBN 9789400729872 (electronic bk.)
9400729871 (electronic bk.)
9789400729865
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Basic Building Blocks -- Architecture of Digital Circuits -- Special Topics of Data Path Synthesis -- Control Unit Synthesis -- Electronic Aspects of Digital Design -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Decimal Operations -- Floating Point Arithmetic -- Finite-Field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial Reconfiguration on Xilinx FPGAs.
Record Nr. UCHICAGO-8873628
[Deschamps, Jean-Pierre, 1945-]  
Materiale a stampa
Lo trovi qui: University of Chicago