|
|
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 |
104 | Radhakrishna Nagalla, Graham R. Hellestrand |
Elimination of Dynamic Hazards from Signal Transition Graphs. |
VLSI Design |
1996 |
DBLP DOI BibTeX RDF |
Logic hazards, Dynamic hazards, Asynchronous circuits, Signal Transition Graphs |
75 | Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghian |
Delay Hazards in Complex Gate Based Speed Independent VLSI Circuits. |
Great Lakes Symposium on VLSI |
1996 |
DBLP DOI BibTeX RDF |
isochronic forks, speed independent circuits (SICs), Asynchronous circuits, signal transition graphs (STGs), hazards |
60 | Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube |
Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
60 | M. Anton Ertl, Andreas Krall |
Instruction Scheduling for Complex Pipelines. |
CC |
1992 |
DBLP DOI BibTeX RDF |
|
58 | Xunwei Wu, Xiexiong Chen, Jizhong Shen |
Race-Hazard and Skip-Hazard in Multivalued Combinational Circuits. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
race-hazard, skip-hazard, multivalued combinational circuits, race hazards, AND/OR expression, skip hazard, multivalued circuits, fast transition, small load capacitor, combinational circuits, multivalued logic circuits, hazards and race conditions, input signals |
58 | Tapan J. Chakraborty, Vishwani D. Agrawal |
Simulation of at-speed tests for stuck-at faults. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
stuck-at fault detectability, at-speed test simulation, delayed signal transitions, timing hazards, fault simulation method, delay-hazard robust test coverage, timing considerations, high performance circuits, fault diagnosis, logic testing, delays, timing, integrated circuit testing, circuit analysis computing, hazards and race conditions, path delays, high speed test |
56 | Carl Sandom, Robert D. Macredie |
Analysing situated interaction hazards: an activity-based awareness approach. |
Cogn. Technol. Work. |
2003 |
DBLP DOI BibTeX RDF |
Situation awareness, Activity theory, Situated action |
53 | Stephen H. Unger |
Hazards, Critical Races, and Metastability. |
IEEE Trans. Computers |
1995 |
DBLP DOI BibTeX RDF |
critical race, dynamic hazards, essential hazards, inertial delays, pure delays, sequential logic, timing problems, delays, Asynchronous, metastability, timing simulation |
53 | Y. Zisapel, M. Krieger, J. Kella |
Detection of Hazards in Combinational Switching Circuits. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
relations between hazards and spikes, Conditions for appearance of single and multiple spikes, hazards testing, general method |
50 | Sam Supakkul, Lawrence Chung |
Applying a Goal-Oriented Method for Hazard Analysis: A Case Study. |
SERA |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Eric Senn, Bertrand Y. Zavidovique |
Self-Timed Design: An Avenue to Complex Computer Systems. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Ing-Jer Huang |
Co-synthesis of pipelined structures and instruction reordering constraints for instruction set processors. |
ACM Trans. Design Autom. Electr. Syst. |
2001 |
DBLP DOI BibTeX RDF |
compiler instruction optimization, instruction set processor, pipeline hazards, pipeline taxonomy, synthesis |
48 | Chuck Monahan, Forrest Brewer |
Symbolic execution of data paths. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
combinational switching, data-path model, path constraints, bus hazards, register constraints, control encoding limitations, path-constrained model, DSP microprocessor, switching logic, connection constraints, operand constraints, scheduling, Boolean functions, Boolean functions, logic design, combinational circuits, data flow analysis, processor scheduling, symbolic execution, data flow graphs, digital signal processing chips, constraint handling, combinational logic, dataflow graphs, hazards and race conditions, memory elements |
46 | Rezzy Eko Caraka, Youngjo Lee 0001, Rung Ching Chen, Toni Toharudin, Prana Ugiana Gio, Robert Kurniawan, Bens Pardamean |
Cluster Around Latent Variable for Vulnerability Towards Natural Hazards, Non-Natural Hazards, Social Hazards in West Papua. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
45 | Segev Wasserkrug, Avigdor Gal, Opher Etzion |
Inference of Security Hazards from Event Composition Based on Incomplete or Uncertain Information. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Bin Xie 0002, Zhiyu Xiang, Huadong Pan, Jilin Liu |
Polarization-based water hazards detection for autonomous off-road navigation. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Ramanuja Vedantham, Zhenyun Zhuang, Raghupathy Sivakumar |
Addressing hazards in wireless sensor and actor networks. |
ACM SIGMOBILE Mob. Comput. Commun. Rev. |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Sissades Tongsima, Chantana Chantrapornchai, Edwin Hsing-Mean Sha, Nelson L. Passos |
Reducing Data Hazards on Multi-pipelined DSP Architecture with Loop Scheduling. |
J. VLSI Signal Process. |
1998 |
DBLP DOI BibTeX RDF |
|
44 | Marcin Kulawiak, Zbigniew Lubniewski, Krzysztof Bikonis, Andrzej Stepnowski |
Geographical Information System for analysis of Critical Infrastructures and their hazards due to terrorism, man-originated catastrophes and natural disasters for the city of Gdansk. |
IF&GIS |
2009 |
DBLP DOI BibTeX RDF |
CARVER2, GIS, Critical infrastructures, Hazards |
40 | Jingzhou (James) Yang, Jichang Dai, Ziqing Zhuang |
Human Head Modeling and Personal Head Protective Equipment: A Literature Review. |
HCI (11) |
2009 |
DBLP DOI BibTeX RDF |
Headform, helmets, goggles, respirators, biomechanical model |
40 | William Marsh 0001, George Bearfield |
Representing Parameterised Fault Trees Using Bayesian Networks. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Bayesian network, risk analysis, fault tree |
40 | Eric Senn, Bertrand Y. Zavidovique |
Hazard-Free Self-Timed Design: Methodology and Application to Asynchronous Routing in an Heterogeneous Parallel Machine. |
J. VLSI Signal Process. |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Paul Klarin, Tanya Haddad, Joseph Cone, Dawn J. Wright |
Living on the edge with the Oregon coastal atlas. |
DG.O |
2006 |
DBLP DOI BibTeX RDF |
coastal GIS, coastal resource management, internet map servers, natural hazards, public education, state government educational DVD, geospatial data, web GIS, atlas |
35 | Vanja Garaj, Ziad Hunaiti, Wamadeva Balachandran |
The effects of video image frame rate on the environmental hazards recognition performance in using remote vision to navigate visually impaired pedestrians. |
Mobility Conference |
2007 |
DBLP DOI BibTeX RDF |
remote vision, video image quality, user interface, GIS, navigation, GPS, blind people |
35 | Serge N. Sala-Diakanda, Luis Rabelo, Sergio A. Rosales, Luis F. Robledo, José A. Sepúlveda, Jeppie Compton |
Integration study of prospective hazards models for the enhancement of a virtual range simulation model. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Georgios Theodoropoulos 0001, Qianyi Zhang |
A Distributed Colouring Algorithm for Control Hazards in Asynchronous Pipelines. |
ISPAN |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Mark D. Aagaard |
A Hazards-Based Correctness Statement for Pipelined Circuits. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Louise E. Moser, P. M. Melliar-Smith |
Analysis of Timing Hazards in Ada Programs. |
ACM Conference on Computer Science |
1993 |
DBLP DOI BibTeX RDF |
Ada |
35 | Michael Yoeli, Shlomo Rinon |
Application of Ternary Algebra to the Study of Static Hazards. |
J. ACM |
1964 |
DBLP DOI BibTeX RDF |
|
34 | Sarah Vieweg, Amanda Lee Hughes, Kate Starbird, Leysia Palen |
Microblogging during two natural hazards events: what twitter may contribute to situational awareness. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
computer-mediated communication, situational awareness, emergency, hazards, disaster, microblogging, crisis informatics |
34 | Joao Augusto de Pessoa, Luiz Alberto Vieira Dias, Adilson Marques da Cunha |
A Desktop Environment for River Hazards Monitoring. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
Domain Product Line, River Hazards Monitoring, Software Engineering |
30 | Jennifer L. Delzeit, Devin C. Koestler |
Simulating time-to-event data under the Cox proportional hazards model: assessing the performance of the non-parametric Flexible Hazards Method. |
Frontiers Appl. Math. Stat. |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Chun Zhu, Yingze Xu, Zhigang Tao, Hong-Hu Zhu, Chen Cao, Manchao He |
Overview of Comprehensive Risk Assessment Methods and Hazards Early Warning System for Geological Hazards in the Mountain Area. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Marinus Tesselaar, Walter Sebron |
Application of Neural Networks in Autonomous Driving Vehicles to Enhance Controllability of Lateral Tip-Over Stability Hazards - Neural Network Observer Application Using Tire Sound Patterns to Classify Tip-over Hazards. |
EuroSPI |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Wei Huang 0004, Karthik Sankaranarayanan, Kevin Skadron, Robert J. Ribando, Mircea R. Stan |
Accurate, Pre-RTL Temperature-Aware Design Using a Parameterized, Geometric Thermal Model. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Aniket Murarka, Mohan Sridharan, Benjamin Kuipers |
Detecting obstacles and drop-offs using stereo and motion cues for safe local motion. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Sobeeh Almukhaizim, Yiorgos Makris |
Concurrent Error Detection Methods for Asynchronous Burst-Mode Machines. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
asynchronous burst-mode machines, error-detecting codes, Concurrent error detection, Berger code |
30 | Aviral Shrivastava, Eugene Earlie, Nikil D. Dutt, Alexandru Nicolau |
Retargetable pipeline hazard detection for partially bypassed processors. |
IEEE Trans. Very Large Scale Integr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Matthew J. Bridges, Neil Vachharajani, Guilherme Ottoni, David I. August |
Automatic instruction scheduler retargeting by reverse-engineering. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
automatic retargeting, structural hazard, compilers, reverse-engineering, instruction scheduling |
30 | Thomas Gamer, Marcus Schöller, Roland Bless |
An Extensible and Flexible System for Network Anomaly Detection. |
Autonomic Networking |
2006 |
DBLP DOI BibTeX RDF |
Anomaly Detection, DDoS Attacks, Programmable Networks |
30 | Gaurav Sinha, David M. Mark |
Measuring similarity between geospatial lifelines in studies of environmental health. |
J. Geogr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Geospatial lifelines, Mobile objects, Spatio-temporal clustering |
30 | A. P. Shanthi, L. Karthik Singaram, Ranjani Parthasarathi |
Evolution of Asynchronous Sequential Circuits. |
Evolvable Hardware |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Aviral Shrivastava, Eugene Earlie, Nikil D. Dutt, Alexandru Nicolau |
Operation tables for scheduling in the presence of incomplete bypassing. |
CODES+ISSS |
2004 |
DBLP DOI BibTeX RDF |
hazard detection, operation table, reservation table, scheduling, retargetable compilers, bypass |
30 | Noboru Takagi, Kyoichi Nakashima |
Logic for Static Hazard Detection of Multiple-Valued Logic Circuits with Tsum, Min, and Literals. |
ISMVL |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Peter A. Beerel, Kenneth Y. Yun, Steven M. Nowick, Pei-Chuan Yeh |
Estimation and bounding of energy consumption in burst-mode control circuits. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
statistical energy estimation, hazard-free logic, N-valued simulation, low power design, asynchronous circuits |
29 | Akif Günes Koru, Dongsong Zhang, Hongfang Liu |
Effect of Coupling on Defect Proneness in Evolutionary Open-Source Software Development. (PDF / PS) |
OSS |
2007 |
DBLP DOI BibTeX RDF |
defect proneness, Cox proportional hazards model, recurrent events, Open-source software, coupling, object-oriented software, Mozilla |
29 | Ajoy Kumar Palit, Kishore K. Duganapalli, Walter Anheier |
Modeling of Crosstalk Fault in Defective Interconnects. |
PATMOS |
2006 |
DBLP DOI BibTeX RDF |
defect-based-crosstalk fault model, signal integrity losses, aggres-sor-victim, ABCD-model, crosstalk-hazards |
29 | Ajoy Kumar Palit, Lei Wu, Kishore K. Duganapalli, Walter Anheier, Jürgen Schlöffel |
A New, Flexible and Very Accurate Crosstalk Fault Model to Analyze the Effects of Coupling Noise between the Interconnects on Signal Integrity Losses in Deep Submicron Chips. |
Asian Test Symposium |
2005 |
DBLP DOI BibTeX RDF |
crosstalk model, aggressor-victim, ABCD-model, crosstalk-hazards, signal integrity |
29 | Cecilia R. Aragon, Marti A. Hearst |
Improving aviation safety with information visualization: a flight simulation study. |
CHI |
2005 |
DBLP DOI BibTeX RDF |
airflow hazards, flight-deck displays, helicopters, human factors in aviation, presentation of safety-critical information, augmented reality, information visualization |
29 | Asger Munk Nielsen, David W. Matula, Chung Nan Lyu, Guy Even |
Pipelined Packet-Forwarding Floating Point: II. An Adder. |
IEEE Symposium on Computer Arithmetic |
1997 |
DBLP DOI BibTeX RDF |
pipelined packet forwarding floating point, floating point addition algorithm, adder pipeline design, packet forwarding pipeline paradigm, data hazards, deeply pipelined floating point pipelines, four stage execution phase pipeline, short clock period, fifteen logic levels, addition algorithm, standard binary floating point format, standard IEEE 754 rounded result, two cycle latency, cooperating multiplier pipeline, packet forwarding operand, IEEE 754 binary floating point compatibility, pipeline arithmetic |
29 | David W. Matula, Asger Munk Nielsen |
Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder. |
IEEE Symposium on Computer Arithmetic |
1997 |
DBLP DOI BibTeX RDF |
pipelined packet forwarding floating point, packet forwarding floating point format, rounder design, packet forwarding format, standard binary IEEE 754 floating point format, multiplication algorithms, ALU pipeline paradigm, data hazards, pipelined floating point operations, execution phases, multiplier packet forwarding pipelines, execution phase, logic levels, multiplier pipelines, forwarding pipelines, IEEE 754 binary floating point compatibility, pipeline arithmetic, data dependent operations |
29 | Robert M. Fuhrer, Bill Lin 0001, Steven M. Nowick |
Symbolic hazard-free minimization and encoding of asynchronous finite state machines. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
optimal state assignment, asynchronous state machines, hazards, sequential synthesis, sequential optimization |
29 | Robert M. Fuhrer, Bill Lin 0001, Steven M. Nowick |
Algorithms for the optimal state assignment of asynchronous state machines. |
ARVLSI |
1995 |
DBLP DOI BibTeX RDF |
optimal state assignment, asynchronous state machines, state codes, race-free state assignment, hazard-free state assignment, input encoding problem, sum-of-products implementations, finite state machines, asynchronous circuits, state assignment, minimisation of switching nets, hazards and race conditions, asynchronous sequential logic |
29 | Arthur Abnous, Nader Bagherzadeh |
Pipelining and Bypassing in a VLIW Processor. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
VLIWprocessor, very long instruction word, pipeline data hazards, performance evaluation, performance, parallel architectures, computer architecture, pipeline processing, pipeline structure, bypassing |
25 | Amitava Majumdar 0002, Wei-Yu Chen, Jun Guo |
Hold time validation on silicon and the relevance of hazards in timing analysis. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
hold time validation, ATPG, timing analysis, delay test |
25 | Sofiane Gasmi, C. Ernie Love, Waltraud Kahle |
A general repair, proportional-hazards, framework to model complex repairable systems. |
IEEE Trans. Reliab. |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Ken Wong, Jeff Joyce |
Refinement of Safety-Related Hazards into Verifiable Code Assertions. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Erik R. Altman, Ramaswamy Govindarajan, Guang R. Gao |
Scheduling and Mapping: Software Pipelining in the Presence of Structural Hazards. |
PLDI |
1995 |
DBLP DOI BibTeX RDF |
|
25 | George B. Trubow |
Traffic Hazards on the Superhighway. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
information superhighway, National Information Infrastructure, electronic highway, NII, AT? Digital, Sprint, international networks, electronic classrooms, electronic funds transfer, legal problems, education, electronic commerce, policy, government, wide area networks, information services, information services, information retrieval systems, legislation, electronic publishing, government policies, electronic democracy, Hewlett Packard |
20 | Aditya Khosla, Yu Cao, Cliff Chiung-Yu Lin, Hsu-Kuang Chiu, Junling Hu, Honglak Lee |
An integrated machine learning approach to stroke prediction. |
KDD |
2010 |
DBLP DOI BibTeX RDF |
concordance index, medical data analysis, stroke prediction, classification, SVM, feature selection, prediction, benchmark, healthcare, data analysis, stroke, ROC |
20 | Shana Smith 0001, Emily Ericson |
Using immersive game-based virtual reality to teach fire-safety skills to children. |
Virtual Real. |
2009 |
DBLP DOI BibTeX RDF |
Game based, Fire safety, Virtual reality (VR), Children, Immersive, CAVE |
20 | Aniket Murarka, Benjamin Kuipers |
A stereo vision based mapping algorithm for detecting inclines, drop-offs, and obstacles for safe local navigation. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Rui Zheng, Kan Shi, Shu Li 0001 |
The Influence Factors and Mechanism of Societal Risk Perception. |
Complex (2) |
2009 |
DBLP DOI BibTeX RDF |
Societal risk perception, psychometric paradigm, Social justice, Government Trust |
20 | Tomohiro Amemiya, Hisashi Sugiyama |
Haptic handheld wayfinder with pseudo-attraction force for pedestrians with visual impairments. |
ASSETS |
2009 |
DBLP DOI BibTeX RDF |
asymmetric oscillation, maze task, wayfinding |
20 | Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu |
Bucket depth peeling. |
SIGGRAPH Talks |
2009 |
DBLP DOI BibTeX RDF |
|
20 | James Trevelyan, Sung-Chul Kang, William R. Hamel |
Robotics in Hazardous Applications. |
Springer Handbook of Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Dogu Arifler |
Information Theoretic Approach to Detecting Systematic Node Destructions in Wireless Sensor Networks. |
IEEE Trans. Wirel. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ke Xu 0014, Chiu-sing Choy |
A Five-Stage Pipeline, 204 Cycles/MB, Single-Port SRAM-Based Deblocking Filter for H.264/AVC. |
IEEE Trans. Circuits Syst. Video Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Virgil E. Petcu, Alexandru Amaricai, Mircea Vladutiu |
A Dual-Threaded Architecture for Interval Arithmetic Coprocessor with Shared Floating Point Units. |
DDECS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Pasquini, Simone Pozzi, Luca Save |
The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan 0001, Frank Koob, Georg Rock |
Automating Interactive Protocol Verification. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Yan Gu 0010, Yue Li |
An interdependent infrastructure risk analysis framework using parallel and distributed simulation. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda |
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Azzam F. Taktak, Antonio Eleuteri, Christian Setzkorn, Angela Douglas, Sarah Coupland, Paul Hiscott, Bertil E. Damato |
Towards the Integration of a Bioprofile in Ocular Melanoma. |
IWANN |
2007 |
DBLP DOI BibTeX RDF |
Ocular Melanoma, Bioprofile, Neural Networks, Survival, Multimodal Data |
20 | Fares Saad-Khorchef, Antoine Rollet, Richard Castanet |
A framework and a tool for robustness testing of communicating software. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
IOLTS, TCP protocol, robustness testing, formal testing |
20 | Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh |
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System |
20 | Serge N. Sala-Diakanda, Luis Rabelo |
Information fusion and component development for space launch risk analysis. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Aniket Murarka, Joseph Modayil, Benjamin Kuipers |
Building Local Safety Maps for a Wheelchair Robot using Vision and Lasers. |
CRV |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Nicolae Galupa |
Variable SYNC Signal Definition for Automata Performance Improvment. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Bin Xue, D. M. H. Walker |
Is IDDQ Test of Microprocessors Feasible? |
MTV |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Christian Stahl, Wolfgang Reisig, Milos Krstic |
Hazard Detection in a GALS Wrapper: A Case Study. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Per Johannessen, Fredrik Törner, Jan Torin |
Actuator Based Hazard Analysis for Safety Critical Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Eelco Dolstra, Eelco Visser, Merijn de Jonge |
Imposing a Memory Management Discipline on Software Deployment. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Corinne Clinton Ruokangas, Ole J. Mengshoel |
Information filtering using bayesian networks: effective user interfaces for aviation weather data. |
IUI |
2003 |
DBLP DOI BibTeX RDF |
bayesian networks, situation awareness, information management, bayesian models, data filtering, intelligent visualization |
20 | Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda |
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Maria K. Michael, Spyros Tragoudas |
Generation of Hazard Identification Functions. |
ISQED |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sumio Morioka, Akashi Satoh |
An Optimized S-Box Circuit Architecture for Low Power AES Design. |
CHES |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Shyh-Kwei Chen, W. Kent Fuchs |
Compiler-Assisted Multiple Instruction Word Retry for VLIW Architectures. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
compilers, Fault-tolerant computing, instruction level parallelism, VLIW architectures, instruction retry |
20 | R. Kates, N. Harbeck, M. Schmitt |
Prospects for clinical decision support in breast cancer based on neural network analysis of clinical survival data. |
KES |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Ladislau Bölöni, Dan C. Marinescu |
On the Robustness of Metaprogram Schedules. |
Heterogeneous Computing Workshop |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Gustav Dahll |
Safety Evaluation of a Train Leader Telephone System. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Santiago Rodríguez de la Fuente, M. Isabel García Clemente, Rafael Méndez Cavanillas |
Teaching computer architecture with a new superscalar processor emulator. |
ITiCSE |
1999 |
DBLP DOI BibTeX RDF |
education, pipeline, emulation, cache memory, superscalar |
20 | Donald Staab, Eugene R. Hnatek |
Diagnosing IC Failures in a Fast Environment. |
IEEE Des. Test Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Jeffrey M. Voas, Keith W. Miller 0001 |
The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault-tolerance. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
static error flow analysis, fault-tolerance, fault, assertions, propagation, software safety, hazard |
20 | Srimat T. Chakradhar, Mahesh A. Iyer, Vishwani D. Agrawal |
Energy models for delay testing. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | C. Rominger, Jean Claude Geffroy |
Hazard analysis of structured sequential systems. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
structured sequential systems, time uncertainties, asynchronous sequential systems, nondeterministic phenomena, simulation method, structured systems, fault diagnosis, CAD, logic testing, timing, sequential circuits, logic CAD, asynchronous circuits, digital simulation, time analysis, circuit analysis computing, hazard analysis, asynchronous sequential logic |
20 | Ken Kennedy, Kathryn S. McKinley, Chau-Wen Tseng |
Interactive Parallel Programming using the ParaScope Editor. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
ParaScope Editor, intelligent interactive editor, parallel Fortran programs, ParaScopeproject, integrated collection, scientific programmers, efficient parallel programs, powerful interactive program transformations, general user editing, hybrid text, structureediting facility, modified program, exploratory programming style, parallel programming, FORTRAN, text editing, interactive programming |
19 | Chun-lai Dong |
Developments of Interferometric Synthetic Aperture Radar About Monitoring Deformation. |
ESIAT (1) |
2009 |
DBLP DOI BibTeX RDF |
InSAR, Deformation Monitoring, Hazards |
19 | Michele Sama, David S. Rosenblum, Zhimin Wang, Sebastian G. Elbaum |
Model-based fault detection in context-aware adaptive applications. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
model-based analysis, mobile computing, ubiquitous computing, adaptation, context-awareness, fault detection, hazards |
19 | Tor Stålhane, Guttorm Sindre |
Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
safety hazards, experiment, Use cases, misuse cases |
Displaying result #1 - #100 of 1191 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|