|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 628 occurrences of 461 keywords
|
|
|
Results
Found 1191 publication records. Showing 1191 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Stephen H. Unger |
A Row Assignment for Delay-Free Realizations of Flow Tables Without Essential Hazards. |
IEEE Trans. Computers |
1968 |
DBLP DOI BibTeX RDF |
|
15 | A. Bart Howe, Clarence L. Coates |
Logic Hazards in Threshold Networks. |
IEEE Trans. Computers |
1968 |
DBLP DOI BibTeX RDF |
|
15 | Stephen H. Unger |
A Row Assignment for Delay-Free Realizations of Flow Tables without Essential Hazards |
SWAT |
1966 |
DBLP DOI BibTeX RDF |
|
15 | Paul E. Wood |
Hazards in Pulse Sequential Circuits. |
IEEE Trans. Electron. Comput. |
1964 |
DBLP DOI BibTeX RDF |
|
15 | Mitchell P. Marcus |
Relay Essential Hazards. |
IEEE Trans. Electron. Comput. |
1963 |
DBLP DOI BibTeX RDF |
|
15 | Theodore M. Booth |
Demonstrating hazards in sequential relay circuits |
SWCT |
1963 |
DBLP DOI BibTeX RDF |
|
10 | John Cieslewicz, Kenneth A. Ross, Kyoho Satsumi, Yang Ye |
Automatic contention detection and amelioration for data-intensive operations. |
SIGMOD Conference |
2010 |
DBLP DOI BibTeX RDF |
parallel programming, contention |
10 | Emily M. Zechman |
Integrating complex adaptive system simulation and evolutionary computation to support water infrastructure threat management. |
GECCO (Companion) |
2010 |
DBLP DOI BibTeX RDF |
threat management, water distribution security, agent-based modeling |
10 | Mark R. Lehto, Mary F. Lesch, William J. Horrey |
Safety Warnings for Automation. |
Handbook of Automation |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Paola Salvati, Vinicio Balducci, Cinzia Bianchi, Fausto Guzzetti, Gabriele Tonelli |
A WebGIS for the dissemination of information on historical landslides and floods in Umbria, Italy. |
GeoInformatica |
2009 |
DBLP DOI BibTeX RDF |
Historical Catalogue, Umbria, Flood, WebGIS, Hazard, Landslide |
10 | Woojin Choi, Seok-Jun Park, Michel Dubois 0001 |
Accurate Instruction Pre-scheduling in Dynamically Scheduled Processors. |
Trans. High Perform. Embed. Archit. Compil. |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ettore Ferranti, Niki Trigoni, Mark Levene |
Rapid exploration of unknown areas through dynamic deployment of mobile and stationary sensor nodes. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Area exploration, Sensor networks, Collaboration, Tags, Autonomous agents |
10 | Amar Gupta |
The 24-Hour Knowledge Factory: Can It Replace the Graveyard Shift? |
Computer |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Feng Shi 0010, Yiorgos Makris |
Enhancing Simulation Accuracy through Advanced Hazard Detection in Asynchronous Circuits. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy |
A framework for software safety in safety-critical systems. |
ACM SIGSOFT Softw. Eng. Notes |
2009 |
DBLP DOI BibTeX RDF |
software quality, safety-critical system, software safety |
10 | Ebrahim Bagheri, Ali A. Ghorbani 0001 |
Astrolabe: A Collaborative Multiperspective Goal-Oriented Risk Analysis Methodology. |
IEEE Trans. Syst. Man Cybern. Part A |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Boyan Brodaric, Florian Probst |
Enabling Cross-Disciplinary E-Science by Integrating Geoscience Ontologies with Dolce. |
IEEE Intell. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Masaaki Tsujitani, Masato Sakon |
Analysis of Survival Data Having Time-Dependent Covariates. |
IEEE Trans. Neural Networks |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup |
Semantically Enhanced Containers for Concurrent Real-Time Systems. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Huang-Chen Lee, Chun-Yu Lin, Shang-Wen Hsu, Chung-Ta King |
On building mobility models for floating objects. |
SenSys |
2009 |
DBLP DOI BibTeX RDF |
floating object, non-autonomous moving, wireless sensor networks, mobility model, network simulation, drift |
10 | Peter Thorvald, Dan Högberg, Keith Case |
Incorporating Cognitive Aspects in Digital Human Modeling. |
HCI (11) |
2009 |
DBLP DOI BibTeX RDF |
system ergonomics, context, cognition, Digital human modelling, ecological interface design, situatedness |
10 | Damian Dechev, Bjarne Stroustrup |
Scalable nonblocking concurrent objects for mission critical code. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
ABA problem prevention, autonomous space software, C++, software transactional memory, nonblocking synchronization |
10 | Yuan Tian 0003, Biao Song, Eui-nam Huh |
A threat-based privacy preservation system in untrusted environment. |
ICHIT |
2009 |
DBLP DOI BibTeX RDF |
threaten, privacy, purpose |
10 | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Friedemann Bitsch, Ulrich Feucht, Huw Gough |
Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Safety-related Application Conditions, SAC quality, conditions for defining SACs, process for defining and complying with SACs |
10 | Hikaru Kumagai, Soichiro Morishita, Kuniaki Kawabata, Hajime Asama, Taketoshi Mishima |
Asbestos Detection Method with Frequency Analysis for Microscope Images. |
ISVC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Bruno Defude, Thierry Delot, Dorsaf Zekri |
Résumé de flux d'événements dans les réseaux inter-véhiculaires. |
UbiMob |
2009 |
DBLP DOI BibTeX RDF |
inter-vehicles ad hoc networks, storage and data aggregation, data aggregation, spatio-temporal data, event streams, V2V |
10 | Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil |
Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ozlem Dura, Asim Egemen Yilmaz |
Software product line development: A review on practical issues and challenges. |
ISCIS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu |
Efficient depth peeling via bucket sort. |
High Performance Graphics |
2009 |
DBLP DOI BibTeX RDF |
depth peeling, max/min blending, multiple render target (MRT), order independent transparency (OIT), graphics hardware, histogram equalization, bucket sort |
10 | Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu |
Single pass depth peeling via CUDA rasterizer. |
SIGGRAPH Talks |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Marco Scaioni, Mario Alba, Renato Rota, Simona Caragliano |
A GIS-Based SW Prototype for Emergency Preparedness Management Applied to a Real Case Study. |
ICCSA (1) |
2009 |
DBLP DOI BibTeX RDF |
Hazard Management, Civil Protection, GIS, Emergency Management |
10 | Lihong Shi, Houming Fan, Pingquan Gao, Hanyu Zhang |
Network Model and Optimization of Medical Waste Reverse Logistics by Improved Genetic Algorithm. |
ISICA |
2009 |
DBLP DOI BibTeX RDF |
medical waste, reverse logistics network, genetic algorithm, mixed integer linear programming |
10 | Praveen Bhojwani, Rabi N. Mahapatra |
Robust Concurrent Online Testing of Network-on-Chip-Based SoCs. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Siva Kumar Sastry Hari, Vishnu Vardhan Reddy Konda, V. Kamakoti 0001, Vivekananda M. Vedula, K. S. Maneperambil |
Automatic Constraint Based Test Generation for Behavioral HDL Models. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Cecília De la Garza, Annie Weill-Fassina, Maud Kaplan |
Integrating human factors in freight interoperability safety design. |
Cogn. Technol. Work. |
2008 |
DBLP DOI BibTeX RDF |
Ecological design, Safe organisational systems, Human factors, Railways, Ergonomic analysis |
10 | Elisabeth A. Nguyen, William S. Greenwell, Myron Hecht |
Using an assurance case to support independent assessment of the transition to a new GPS ground control system. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Kiran Pamnany, John Jannotti |
Elyze: enabling safe parallelism in event-driven servers. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
concurrency scheduling, static analysis |
10 | Faisal M. Khan, Valentina Bayer Zubek |
Support Vector Regression for Censored Data (SVRc): A Novel Tool for Survival Analysis. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ettore Ferranti, Niki Trigoni |
Robot-assisted discovery of evacuation routes in emergency scenarios. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ai Chen, Ten-Hwang Lai, Dong Xuan |
Measuring and guaranteeing quality of barrier-coverage in wireless sensor networks. |
MobiHoc |
2008 |
DBLP DOI BibTeX RDF |
wireless sensor networks, measuring, quality, repairing, barrier coverage |
10 | Azzam F. Taktak, Antonio Eleuteri, M. S. Hane Aung, Paulo J. G. Lisboa, Laurence Desjardins, Bertil E. Damato |
External Validation of a Bayesian Neural Network Model in Survival Analysis. |
ICMLA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Karl Iagnemma, Shingo Shimoda, Zvi Shiller |
Near-optimal navigation of high speed mobile robots on uneven terrain. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ettore Ferranti, Niki Trigoni, Mark Levene |
HybridExploration: A distributed approach to terrain exploration using mobile and fixed sensor nodes. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | De-Jiu Chen, Rolf Johansson 0002, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren |
Modelling Support for Design of Safety-Critical Automotive Embedded Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Automotive Embedded Systems, Safety Case, Dependability, Model-Based Development, Safety Analysis |
10 | Christian Denger, Mario Trapp, Peter Liggesmeyer |
SafeSpection - A Systematic Customization Approach for Software Hazard Identification. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety |
10 | Cheng-Tao Hsieh, Jason Cong, Zhiru Zhang, Shih-Chieh Chang |
Behavioral synthesis with activating unused flip-flops for reducing glitch power in FPGA. |
ASP-DAC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Xiaolei Li, Jin Tian 0002, Tingdi Zhao |
An Improved Zonal Safety Analysis Method and Its Application on Aircraft CRJ200. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
zonal safety analysis (ZSA), hazard source, undercarriage, safety, coupling |
10 | Masilamani Vedhanayagam, Kamala Krithivasan |
A Min-Cost-Max-Flow Based Algorithm for Reconstructing Binary Image from Two Projections Using Similar Images. |
IWCIA |
2008 |
DBLP DOI BibTeX RDF |
binary matrix reconstruction, min cost integral max flow problem, computed tomography, discrete tomography |
10 | Oliver Kreylos, Gerald W. Bawden, Louise H. Kellogg |
Immersive Visualization and Analysis of LiDAR Data. |
ISVC (1) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ioannis Riakiotakis, Georgios I. Goumas, Nectarios Koziris, Fiori-Anastasia Metallinou, Ioannis A. Daglis |
Evaluation of dynamic scheduling methods in simulations of storm-time ion acceleration. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Marcus Furuholmen, Kyrre Glette, Jim Tørresen, Mats Høvin |
Indirect Online Evolution - A Conceptual Framework for Adaptation in Industrial Robotic Systems. |
ICES |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms |
Correct-by-construction microarchitectural pipelining. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
10 | M. Ben Swarup, P. Seetha Ramaiah |
An Approach to Modeling Software Safety. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
software quality, safety-critical system, software safety |
10 | Zhanshan (Sam) Ma, Axel W. Krings, Robert E. Hiromoto |
Multivariate Survival Analysis (II): An Overview of Multi-State Models in Biomedicine and Engineering Reliability. |
BMEI (1) |
2008 |
DBLP DOI BibTeX RDF |
Multivariate Survival Analysis, Multi-State Modeling, Flowgraph Model, Multi-state Reliability Model, Markov Chain |
10 | Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria |
Modeling and simulation of complex heterogeneous systems. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Rairigh, Andrew J. Mason, Michael P. Rowe, Edward T. Zellers |
Baseline resistance cancellation circuit for high resolution thiolate-monolayer-protected gold nanoparticle vapor sensor arrays. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Isaac J. Gabriel, Easwar A. Nyshadham |
A Cognitive Map of People's Online Risk Perceptions and Attitudes: An Empirical Study. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Chien-Cheng Chou, Chine-Ta Chen, Ssu-Min Tseng, Jyh-Dong Lin |
A Spatiotemporal Model for Persisting Critical Infrastructure Interdependencies. |
FSKD (4) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Markus Wolff, Hartmut Asche |
Geospatial Modelling of Urban Security: A Novel Approach with Virtual 3D City Models. |
ICCSA (1) |
2008 |
DBLP DOI BibTeX RDF |
geovisualisation, civil security, GIS, 3D city models |
10 | Junfeng Xu, Keqiu Li, Yanming Shen, Jian Liu |
An Energy-Efficient Waiting Caching Algorithm in Wireless Sensor Networks. |
EUC (1) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Aristides Mpitziopoulos, Charalampos Konstantopoulos, Damianos Gavalas, Grammati E. Pantziou |
Hazard monitoring for visually impaired people enabled by wireless sensor networking technology. |
PETRA |
2008 |
DBLP DOI BibTeX RDF |
hazard monitoring, itinerary design, wireless sensor networks, mobile agents, healthcare, assistive environments, itineraries |
10 | Helen T. Sullivan, Markku T. Häkkinen, Dana Piechocinski |
Improving Participation, Accessibility and Compliance for Campus-Wide Mobile Emergency Alerting Systems. |
Mobile Response |
2008 |
DBLP DOI BibTeX RDF |
Emergency Notifications, Mobile Alerts, Mobile Devices, Accessibility |
10 | Roland Geraerts, Arno Kamphuis, Ioannis Karamouzas, Mark H. Overmars |
Using the Corridor Map Method for Path Planning for a Large Number of Characters. |
MIG |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Seong-Tae Kim, Pyung Hun Chang |
Safety-Ensuring Systematic Design for Service Robots. |
ICOST |
2008 |
DBLP DOI BibTeX RDF |
Safety-ensuring design, Target-Oriented Design (TOD), Reliability, Risk analysis, Service robot |
10 | Guangyan Huang, Jing He 0004, Zhiming Ding |
Wireless Video-Based Sensor Networks for Surveillance of Residential Districts. |
APWeb |
2008 |
DBLP DOI BibTeX RDF |
mining video stream, contrast data mining, sensor networks |
10 | Dana Kulic, Elizabeth A. Croft |
Pre-collision safety strategies for human-robot interaction. |
Auton. Robots |
2007 |
DBLP DOI BibTeX RDF |
Robot safety, Affective state estimation, Human-robot interaction, Physiological signals |
10 | Homayoun Seraji, Barry Brian Werger |
Theory and experiments in SmartNav rover navigation. |
Auton. Robots |
2007 |
DBLP DOI BibTeX RDF |
Rovers, Natural terrain, Fuzzy logic, Navigation |
10 | Scott E. Donaldson, Stanley G. Siegel |
Enriching Your Project Planning: Tying Risk Assessment to Resource Estimation. |
IT Prof. |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Vincent Hovelaque, L. G. Soler, S. Hafsa |
Supply chain organization and e-commerce: a model to analyze store-picking, warehouse-picking and drop-shipping. |
4OR |
2007 |
DBLP DOI BibTeX RDF |
MSC Classification 90B50 |
10 | Ronald F. DeMara, Yili Tseng, Abdel Ejnioui |
Tiered Algorithm for Distributed Process Quiescence and Termination Detection. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
Parallel Processing, Synchronization, Distributed Programming, Multitasking, Distributed Architectures |
10 | Ling Zhuo, Gerald R. Morris, Viktor K. Prasanna |
High-Performance Reduction Circuits Using Deeply Pipelined Operators on FPGAs. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
G.1.0.g Parallel algorithms, C.3.e Reconfigurable hardware |
10 | Y. Yi, In-Cheol Park |
High-Speed H.264/AVC CABAC Decoding. |
IEEE Trans. Circuits Syst. Video Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Yung-Chieh Lin, Feng Lu 0002, Kwang-Ting Cheng |
Multiple-Fault Diagnosis Based On Adaptive Diagnostic Test Pattern Generation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Aviral Shrivastava, Sanghyun Park, Eugene Earlie, Nikil D. Dutt, Alexandru Nicolau, Yunheung Paek |
Automatic Design Space Exploration of Register Bypasses in Embedded Processors. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Panagiotis G. Ipeirotis, Alexandros Ntoulas, Junghoo Cho, Luis Gravano |
Modeling and managing changes in text databases. |
ACM Trans. Database Syst. |
2007 |
DBLP DOI BibTeX RDF |
text database selection, distributed information retrieval, Metasearching |
10 | Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton |
A Hybrid View in a Laparoscopic Surgery Training System. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jeffrey S. Simonoff, Carlos E. Restrepo, Rae Zimmerman, Zvia Naphtali |
Analysis of Electrical Power and Oil and Gas Pipeline Failures. |
Critical Infrastructure Protection |
2007 |
DBLP DOI BibTeX RDF |
Electrical power, oil and gas pipelines, count regression models, risk |
10 | Ettore Ferranti, Niki Trigoni, Mark Levene |
Brick & Mortar: an on-line multi-agent exploration algorithm. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Roland Geraerts, Mark H. Overmars |
The Corridor Map Method: Real-Time High-Quality Path Planning. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ladislav Hluchý, Ondrej Habala, Marian Babik, Michal Laclavik, Zoltán Balogh 0001, Emil Gatial |
Knowledge-based Platform for Environmental Risk Management. |
ISPDC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Murray Crease, Jo Lumsden, Bob Longworth |
A technique for incorporating dynamic paths in lab-based mobile evaluations. |
BCS HCI (1) |
2007 |
DBLP DOI BibTeX RDF |
lab-based evaluation technique, mobile technology |
10 | Katja Karrer, Matthias Roetting |
Effects of Driver Fatigue Monitoring - An Expert Survey. |
HCI (13) |
2007 |
DBLP DOI BibTeX RDF |
sleepiness, assistance syst-em, expert survey, behavioral adaptation, monitoring, driver, fatigue, drowsiness |
10 | Katarzyna Lis, Jerzy Olszewski |
Economic and Social Condition of the Software Quality Assessment. |
HCI (5) |
2007 |
DBLP DOI BibTeX RDF |
software quality assessment |
10 | M. Emília C. Duarte, Francisco Rebelo |
Virtual Reality in the Study of Warnings Effectiveness. |
HCI (17) |
2007 |
DBLP DOI BibTeX RDF |
Virtual Reality, Interaction, Effectiveness, Behaviour, Warnings |
10 | José A. Borges, Néstor J. Rodríguez, Carlos Pérez, Gilberto Crespo |
Usability Issues in the Development of a User Interface for an Alerts and Reminders System for a Nursing Documentation Application. |
HCI (4) |
2007 |
DBLP DOI BibTeX RDF |
electronic medical record systems, alerts and reminders systems, graphical user interfaces, usability testing, usability engineering |
10 | Mark Ollis, Wesley H. Huang, Michael Happold |
A Bayesian approach to imitation learning for robot navigation. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Bin Xu 0007, Daniel J. Stilwell, Aditya S. Gadre, Andrew Kurdila |
Analysis of local observability for feature localization in a maritime environment using an omnidirectional camera. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Mark Hartong, Rajni Goel, Csilla Farkas, Duminda Wijesekera |
PTC-VANET Interactions to Prevent Highway Rail Intersection Crossing Accidents. |
VTC Spring |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Marco Casale-Rossi, Andrzej J. Strojwas, Robert C. Aitken, Antun Domic, Carlo Guardiani, Philippe Magarshack, Douglas Pattullo, Joseph Sawicki |
DFM/DFY: should you trust the surgeon or the family doctor? |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Lars Grunske, Robert Colvin, Kirsten Winter |
Probabilistic Model-Checking Support for FMEA. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
Failure Mode and Effect Analysis, Probabilistic Model Checking, System Safety |
10 | Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen |
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems |
10 | Hans Russo, Andreas Turk |
Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Marco Bozzano, Alessandro Cimatti, Francesco Tapparo |
Symbolic Fault Tree Analysis for Reactive Systems. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Christoph Sklarczyk, Horst Perner, Hans Rieder, Walter Arnold, Petra Perner |
Image Acquisition and Analysis of Hazardous Biological Material in Air. |
MDA |
2007 |
DBLP DOI BibTeX RDF |
Microscopic image acquisition, microbiological probe handling, case-based object recognition, image analysis, case-based reasoning, image interpretation |
10 | Kevin W. Li, Jason K. Levy, Patrick H. Buckley, John Belec |
A multiple-criteria group decision support system for risk reduction and community resilience in the fraser lowlands eco-region. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Christian Grünwald, Jorge Marx Gómez |
Integrating Environmental Information with Systems of Factory Planning. |
ITEE |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Yumiko Nara |
Information Literacy and Everyday Life Risks. |
KES (2) |
2007 |
DBLP DOI BibTeX RDF |
everyday life risk, risk management, information, literacy |
10 | Tom Vander Aa, Bingfeng Mei, Bjorn De Sutter |
A backtracking instruction scheduler using predicate-based code hoisting to fill delay slots. |
CASES |
2007 |
DBLP DOI BibTeX RDF |
VLIW scheduling, code hoisting, predication |
10 | Janusz A. Brzozowski, Yuli Ye |
Simulation of Gate Circuits with Feedback in Multi-Valued Algebras. |
ISMVL |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #1000 of 1191 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|