The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for critical with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1965 (15) 1966-1970 (15) 1971-1974 (27) 1975-1976 (18) 1977-1978 (24) 1979-1980 (40) 1981 (26) 1982 (28) 1983 (24) 1984 (32) 1985 (51) 1986 (43) 1987 (62) 1988 (83) 1989 (95) 1990 (118) 1991 (116) 1992 (181) 1993 (179) 1994 (229) 1995 (313) 1996 (334) 1997 (381) 1998 (458) 1999 (618) 2000 (729) 2001 (823) 2002 (1139) 2003 (1479) 2004 (1828) 2005 (2396) 2006 (2721) 2007 (2980) 2008 (2994) 2009 (1992) 2010 (1028) 2011 (796) 2012 (815) 2013 (826) 2014 (920) 2015 (953) 2016 (882) 2017 (1031) 2018 (1168) 2019 (1201) 2020 (1386) 2021 (1367) 2022 (1453) 2023 (1534) 2024 (324)
Publication types (Num. hits)
article(12908) book(50) data(2) incollection(316) inproceedings(24546) mastersthesis(1) phdthesis(335) proceedings(117)
Venues (Conferences, Journals, ...)
CoRR(1311) HICSS(411) CRITIS(397) FMICS(320) Critical Infrastructure Protec...(303) IEEE Trans. Comput. Aided Des....(252) DAC(247) IEEE Access(231) DATE(202) SSS(196) IPDPS(189) Discret. Math.(165) SAFECOMP(163) WSC(144) IEEE Trans. Very Large Scale I...(143) ICCAD(133) More (+10 of total 5196)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 23864 occurrences of 8654 keywords

Results
Found 38276 publication records. Showing 38275 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
19Robin W. Whitty Software in Safety-Related Systems, by Brian Wichmann (Editor), Wiley, 1992 and Safety-Critical Systems: Current Issues, Techniques and Standards, Felix Redmill and Tom Anderson (Editors), Chapman & Hall, 1993 and Directions in Safety-Critical Systems, by Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1993 and Technology and Assessment of Safety-Critical Systems, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1994 and Achievement and Assurance of Safety, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1995 and Journal: High Integrity Systems, Andrew D. McGettrick (Editor), Oxford University Press (Books and Journal Review). Search on Bibsonomy Softw. Test. Verification Reliab. The full citation details ... 1995 DBLP  BibTeX  RDF
18David Akers, Matthew Simpson, Robin Jeffries, Terry Winograd Undo and erase events as indicators of usability problems. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF erase, google sketchup, user-reported critcial incident technique, usability testing, undo, critical incidents
18Jakob E. Bardram, Niels Nørskov A context-aware patient safety system for the operating room. Search on Bibsonomy UbiComp The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CAPSIS, context-aware computing, safety-critical systems, pervasive healthcare, operating room
18Siming Lin, Xueqi Cheng, Jianming Lv State Causality Analysis of Conservative Parallel Network Simulation. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF performance evaluation, speedup, parallel efficiency, critical path analysis, conservative simulation
18Qiang Zhou 0001, Yici Cai, Duo Li, Xianlong Hong A Yield-Driven Gridless Router. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF gridless routing, integrated circuit layout, critical area, design for yield
18Sebastian V. Fallert, Sergei N. Taraskin Stochastic Spreading Processes on a Network Model Based on Regular Graphs. Search on Bibsonomy BIOWIRE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Network Epidemics, SIS Model, Contact Process, Critical Exponents
18Ann Miller Trends in Process Control Systems Security. Search on Bibsonomy IEEE Secur. Priv. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF control systems, PCS, critical infrastructure
18Alex Garthwaite, David Dice, Derek White Supporting per-processor local-allocation buffers using lightweight user-level preemption notification. Search on Bibsonomy VEE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF restartable critical sections, locality, memory allocation
18Subhash Bhalla Parallel Concurrency Control Activity for Transaction Management in Real-time Database Systems. Search on Bibsonomy J. Supercomput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF parallel concurrency control, time-critical transactions, synchronization, distributed real-time database systems
18Arjan Kuijper, Luc Florack The Relevance of Non-Generic Events in Scale Space Models. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multi-scale segmentation, topology, scale space, critical points, catastrophe theory, deep structure
18Eugene Shragowitz, Habib Youssef, Bing Lu Iterative Converging Algorithms for Computing Bounds on Durations of Activities in Pert and Pert-Like Models. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF duration of activities, scheduling, approximation algorithms, directed acyclic graphs, NP-complete problems, critical path, timing bounds, PERT, slack
18Horst F. Wedde, Sabine Böhm, Wolfgang Freund Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF adaptive transaction management, adaptive concurrency control, real-time systems, safety-critical systems, Distributed operating systems
18Norman F. Schneidewind Software Metrics Model For Quality Control. Search on Bibsonomy IEEE METRICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF software metrics model, Space Shuttle flight software, metrics validation methodology, Boolean discriminant functions, quality control process, critical values, nonparametric statistical methods, candidate metrics, optimal function, marginal analysis, concordance, software quality, software metrics, quality control, dominance, quality factor, threshold values
18Li Zheng 0001, Chao Shen 0005, Liang Tang, Tao Li 0001, Steven Luis, Shu-Ching Chen, Vagelis Hristidis Using data mining techniques to address critical information exchange needs in disaster affected public-private networks. Search on Bibsonomy KDD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF critical information, dynamic dashboard, data mining, information extraction, multi-document summarization, disaster management, spatial clustering
18Lindsay Grace Critical gameplay: software studies in computer gameplay. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software philosophy, software studies, gameplay, critical design
18Daniel Tang, Ales Plsek, Jan Vitek Static checking of safety critical Java annotations. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF verification, annotations, safety critical systems, memory safety
18Christian Fotsing, Annie Geniet, Guy Vidal-Naquet Tree scheduling versus sequential scheduling. Search on Bibsonomy EDCC-CARS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF conditional statements, critical real-time systems, sequential scheduling, tree scheduling, validation
18Andrew J. Kornecki, Janusz Zalewski Certification of software for real-time safety-critical systems: state of the art. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
18Pedro T. Isaías, Paula Miranda, Sara Pífano Critical Success Factors for Web 2.0 - A Reference Framework. Search on Bibsonomy HCI (12) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Web 2.0, users, Critical Success Factors
18Mark Blythe, Paul A. Cairns Critical methods and user generated content: the iPhone on YouTube. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF green HCI, user experience, user generated content, YouTube, iPhone, critical theory
18Yili Gong, Marlon E. Pierce, Geoffrey Charles Fox Dynamic Resource-Critical Workflow Scheduling in Heterogeneous Environments. Search on Bibsonomy JSSPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Resource-Critical Scheduling, Workflow, Dynamic Scheduling, Heterogeneous Environments
18Kyriakos Christou, Maria K. Michael, Spyros Tragoudas On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation. Search on Bibsonomy J. Electron. Test. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Zero-suppressed binary decision diagram, Irredundant sum-of-products, Critical path delay faults, Compact test generation, Delay testing, Path delay faults
18Anna Nagurney, Qiang Qiang A network efficiency measure with application to critical infrastructure networks. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Network efficiency measure, Network component importance ranking, Braess Paradox, Electric power supply chain networks, Infrastructure networks, Internet, Transportation networks, Critical infrastructure protection, Network vulnerability
18Igor Nai Fovino, Marcelo Masera Methodology for Experimental ICT Industrial and Critical Infrastructure Security Tests. Search on Bibsonomy EuroISI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ICT Security assessment, ICT Experimental Security, Critical Infrastructures
18John A. Sokolowski, Charles D. Turnitsa, Saikou Y. Diallo A Conceptual Modeling Method for Critical Infrastructure Modeling. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conceptual modeling, lattice, critical infrastructure, concept analysis
18Farah Magrabi Using cognitive models to evaluate safety-critical interfaces in healthcare. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF healthcare, cognitive models, usability evaluation, safety-critical systems, goms
18P. Seetha Ramaiah, M. Ben Swarup, K. Raja Kumar Conceptual Modeling for Safety Critical Computer Systems. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF system design methodology, conceptual modeling, safety-critical systems
18Nuno Polónio, Carlos Regalo, Daniel Gaspar Real Time Notifications for Critical Parameters in Operations and Maintenance. Search on Bibsonomy SERA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF critical alarms, alarm management, Pharmaceutical maintenance, CMMS, SMS
18Maria Bortoluzzi Towards a Framework of Critical Multimodal Analysis: Emotion in a Film Trailer. Search on Bibsonomy COST 2102 Conference (Prague) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Socio-semiotic Analysis, Critical Discourse Studies, Emotion, Multimodality
18Tiago H. Kobayashi, Aguinaldo B. Batista, João Paulo S. Medeiros, José Macedo F. Filho, Agostinho M. Brito Jr., Paulo S. Motta Pires Analysis of Malicious Traffic in Modbus/TCP Communications. Search on Bibsonomy CRITIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Critical Information Infrastructure Protection, Malicious Traffic Analysis, Threats and Attacks to AT Infrastructures, Automation Technology Security
18Harold W. Thimbleby User-Centered Methods Are Insufficient for Safety Critical Systems. Search on Bibsonomy USAB The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Safety Critical Interactive Devices, Human-Computer Interaction, Usability Engineering, Interaction Programming
18Daniel S. Coming, Oliver G. Staadt Stride scheduling for time-critical collision detection. Search on Bibsonomy VRST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF many-body collision detection, time-critical computing, Collision Detection, dynamic scenes
18Sangsoo Kim, Jiyong Park, Heeseo Chae, Hoh Peter In Situation-Aware Based Self-adaptive Architecture for Mission Critical Systems. Search on Bibsonomy ICESS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Real-Time Distributed Simulation, Self-Adaptation, Situation-Awareness, Mission Critical System, HLA/RTI
18Marianthi Theoharidou, Eleftheria Stougiannou, Dimitris Gritzalis A CBK for Information Security and Critical Infrastructure Protection. Search on Bibsonomy World Conference on Information Security Education The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Common Body of Knowledge (CBK), Academic Curriculum, Academic Programme, Critical Infrastructure Protection
18Vanya Topalova Critical transfer issues in QoS-C architecture models and session-based communication. Search on Bibsonomy CompSysTech The full citation details ... 2007 DBLP  DOI  BibTeX  RDF QoS-C architecture models, converged communication, critical transfer, SIP, H.323
18Jun Wu Critical Success Factors for ERP System Implementation. Search on Bibsonomy CONFENIS (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Critical success factors, Conceptual framework, ERP implementation
18William Yeoh 0002, Jing Gao 0001, Andy Koronios Towards a Critical Success Factor Framework for Implementing Business Intelligence Systems: A Delphi Study in Engineering Asset Management Organizations. Search on Bibsonomy CONFENIS (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Business analytics, Business intelligence system, Strategic information systems, Critical success factors, Delphi method
18Gregory Zoughbi, Lionel C. Briand, Yvan Labiche A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. Search on Bibsonomy MoDELS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority
18Nipon Theera-Umpon Ionospheric F-Layer Critical Frequency Estimation from Digital Ionogram Analysis. Search on Bibsonomy ICCSA (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ionogram, Size-contrast filter, Critical frequency, Ordinary-mode wave, Extraordinary-mode wave
18Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kristin Thorsen Experiences from introducing UML-based development in a large safety-critical project. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML, Model-driven development, Embedded software, Case study, Safety-critical software
18David Geer Security of Critical Control Systems Sparks Concern. Search on Bibsonomy Computer The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Security, Safety-critical systems
18Vladan Bozic Application of finite state automata to the bakery algorithm in critical section modeling. Search on Bibsonomy ITiCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bakery algorithm, finite state automata, critical section
18Jonas Landgren Making action visible in time-critical work. Search on Bibsonomy CHI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF firemen, time-critical work, ethnography, collaborative work, emergency response
18Nick Foster, Luke Compston, Daniel Barkho MAIL: a framework for critical technical practice. Search on Bibsonomy OZCHI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF CTP, MAIL, metaphor assumption inversion loop, HCI, human computer interaction, framework, critical technical practice
18Ebrahim Bagheri, Ali A. Ghorbani 0001 Towards an MDA-oriented UML profile for critical infrastructure modeling. Search on Bibsonomy PST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modeling and simulation, UML profiles, critical infrastructure
18Jose J. Gonzalez, Jose M. Sarriegi, Alazne Gurrutxaga A Framework for Conceptualizing Social Engineering Attacks. Search on Bibsonomy CRITIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF system archetype, pattern recognition, information security, system dynamics, critical infrastructure, Social engineering
18Richard Bubel, Reiner Hähnle Integration of informal and formal development of object-oriented safety-critical software. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, Formal specification, Design patterns, OCL, Safety-critical software
18Lei-da Chen, Mark Lee Gillenson, Daniel L. Sherrell Consumer acceptance of virtual stores: a theoretical model and critical success factors for virtual stores. Search on Bibsonomy Data Base The full citation details ... 2004 DBLP  DOI  BibTeX  RDF virtual store, electronic commerce, technology acceptance model, critical success factor, innovation diffusion, online retailing
18Nilay V. Oza, Tracy Hall, Austen Rainer, Susan Grey Critical factors in software outsourcing: a pilot study. Search on Bibsonomy WISER The full citation details ... 2004 DBLP  DOI  BibTeX  RDF critical factors, software outsourcing, relationships
18Marion G. Ceruti, Stuart Harvey Rubin Dynamic Three-Value Logic in Decentralized Time-Critical Domains. Search on Bibsonomy ISADS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF time-critical targets, sensors, Data fusion, heterogeneous systems, three-value logic, decentralized systems
18Ramendra K. Sahoo, Adam J. Oliner, Irina Rish, Manish Gupta 0002, José E. Moreira, Sheng Ma, Ricardo Vilalta, Anand Sivasubramaniam Critical event prediction for proactive management in large-scale computer clusters. Search on Bibsonomy KDD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF critical event prediction, large-scale clusters, system event log
18Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival A static analyzer for large safety-critical software. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
18Paul J. Fortier, S. Jagannathan, Howard E. Michel, Nancy M. Dluhy, Eileen S. O'Neill Development of a Hand-held Real-time Decision Support Aid for Critical Care Nursing. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF critical-care nursing tool, wireless hand-held devices, data mining, decision support system, outlier detection
18Harry M. Sneed, Peter Brössler Critical Success Factors in Software Maintenance-A Case Study. Search on Bibsonomy ICSM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Software Product Management, System Measurement and Evaluation, Empirical Studies, Critical Success Factors, Maintenance and Evolution
18Yasser A. Sowb, Robert G. Loeb Cognitive Analysis of Intraoperative Critical Events: A Problem-Driven Approach to Aiding Clinicians' Performance. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Critical incident techniques, Human error analysis, Human-machine interaction in the operating room, Observational and simulator-based studies, Decision support systems, Cognitive modelling
18Josep Domingo-Ferrer, Francesc Sebé Invertible Spread-Spectrum Watermarking for Image Authentication and Multilevel Access to Precision-Critical Watermarked Images. Search on Bibsonomy ITCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Invertible watermarking, precision-critical images, Selective release based on security clearance, Selective access to parts of a document, copyright protection
18Philip J. Dobson The Philosophy of Critical Realism-An Opportunity for Information Systems Research. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF critical realism, morphogenetic theory, structure, structuration theory, agency
18Kaushik Dutta, Debra E. VanderMeer, Anindya Datta, Krithi Ramamritham Discovering critical edge sequences in E-commerce catalogs. Search on Bibsonomy EC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF critical edge sequence, web site performance, web usage analysis, approximation, accuracy
18Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo An Automatic SPIN Validation of a Safety Critical Railway Control System. Search on Bibsonomy DSN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF dependable protocols, model checking, formal verification, safety-critical systems
18A. S. Nepomniaschaya An Associative Parallel Algorithm for Finding a Critical Cycle in Directed Graphs. Search on Bibsonomy ICPADS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Directed weighted graph, critical cycle, optimum branching, bit-serial processing, associative parallel processor, time complexity
18Colin O'Halloran Issues for the Automatic Generation of Safety Critical Software. Search on Bibsonomy ASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Automatic code generation, safety critical
18Jean Fonlupt, Ali Ridha Mahjoub Critical Extreme Points of the 2-Edge Connected Spanning Subgraph Polytope. Search on Bibsonomy IPCO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF 2-edge connected graph, critical extreme point, Polytope, cut
18Zhongwei Xu, Fangmei Wu A Novel Testing Approach for Safety-Critical Software. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Software-critical software, software testing, interlocking
18Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation. Search on Bibsonomy Workshop on Parallel and Distributed Simulation The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ATM network modeling, conservative PDES, optimistic PDES, Chandy-Misra-Bryant algorithm, time parallelism, Critical Channel Traversing algorithm, parallel simulation
18Jeffrey M. Thompson, Mats Per Erik Heimdahl An Integrated Development Environment for Prototyping Safety Critical Systems. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML
18Beth Plale, Karsten Schwan Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems. Search on Bibsonomy ICDCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF run-time detection, distributed and parallel computing, safety-critical systems, temporal queries, on-line monitoring
18Weiwei Li, Zhongwei Xu, Yan Jin An Approach for Testing Safety-Critical Software. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Failure Severity Level, Failure Frequency, Integrity Level, Safety-Critical Software, Software Safety, Software Validation
18Mehmet Sahinoglu, Edward Chow Empirical-Bayesian Availability Indices of Safety & Time Critical Software Systems with Corrective Maintenance. Search on Bibsonomy PRDC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Empirical Bayesian, Time-Critical, Availability, Safety, mle, Corrective Maintenance
18Yoshihisa Shinagawa, Tosiyasu L. Kunii Unconstrained Automatic Image Matching Using Multiresolutional Critical-Point Filters. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF critical-point filters, volume rendering, Image matching, multiresolution, morphing, nonlinear filters, singularity, homotopy, image interpolation
18Sandrine Barberan, Frederic Duvivier Management of Critical Areas and Defectivity Data for Yield Trend Modeling. Search on Bibsonomy DFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF critical areas, defect analysis, yield modeling
18Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. Search on Bibsonomy HASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF problem specifications, Safety-critical systems, safety analysis, environment modeling, medical devices, requirements acquisition
18Peter Bjørn-Jørgensen, Jan Madsen Critical path driven cosynthesis for heterogeneous target architectures. Search on Bibsonomy CODES The full citation details ... 1997 DBLP  DOI  BibTeX  RDF critical path driven, heterogeneous target architectures, list based scheduling, path driven cosynthesis, single-rate systems, task scheduling, processor scheduling, data dependencies, target architecture
18Sandra Levasseur, Frederic Duvivier Application of a yield model merging critical areas and defectivity to industrial products. Search on Bibsonomy DFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF industrial products, survey sampling based estimation tool, fabrication process, SGS-Thomson Crolles plant, multiple products, process versions, 0.5 micron, robustness, defectivity, EYES, critical areas, yield model, integrated circuit yield
18Lisa Higham, Jalal Kawash Critical Sections and Producer/Consumer Queues in Weak Memory Systems. Search on Bibsonomy ISPAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF critical section problem, producer/consumer problem, non-sequential systems, TSO, distributed shared memory, PSO, memory consistency models
18Gérard Le Lann A Methodology for Designing and Dimensioning Critical Complex Computing Systems. Search on Bibsonomy ECBS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF design proofs, fault-tolerance, distributed computing, design methodology, complex systems, systems engineering, on-line algorithms, critical systems, real-time computing
18Tim M. Bull Comprehension of Safety-Critical Systems Using Domain-Specific Languages. Search on Bibsonomy WPC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Program Transformations, Domain-Specific Languages, Safety-Critical Systems
18David G. Hendry Display-Based Problems in Spreadsheets: A Critical Incident and a Design Remedy. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF display-based problems, design remedy, discretionary user, grid partitioning, arithmetic series, block function, progressional computation, tabular displays, cell referencing, usability, user interfaces, human factors, human factors, visual programming, visual programming, problem solving, functions, programming by demonstration, failure, spreadsheets, interaction style, expressive power, computer displays, spreadsheet programs, critical incident, series (mathematics), cognitive dimensions
18Jie Wang 0008, Keith W. Ross Asymptotic analysis for closed multiclass queueing networks in critical usage. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF critical usage, Queueing networks, asymptotic analysis
18John C. Knight, Bev Littlewood Guest Editors' Introduction: Critical Task of Writing Dependable Software. Search on Bibsonomy IEEE Softw. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software
18John M. Rushby, Friedrich W. von Henke Formal Verification of Algorithms for Critical Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF machine-checked verification, Byzantine fault-tolerant algorithm, digital flight control system, fault-tolerant synchronization, EHDM system, formal specification, formal specification, formal verification, fault tolerant computing, software reliability, safety, synchronisation, critical systems
18Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè A Unified High-Level Petri Net Formalism for Time-Critical Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF environment relationship nets, time-critical systems, ER nets, time notation, specification support environment, formal specification, Petri nets, software tools, timing, high-level Petri net
18Abhishek Bhattacharjee, Margaret Martonosi Thread criticality predictors for dynamic performance, power, and resource management in chip multiprocessors. Search on Bibsonomy ISCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF intel tbb, thread criticality prediction, parallel processing, caches, dvfs
18Xianhang Zhang, Masahiro Takatsuka Put That There NOW: Group Dynamics of Tabletop Interaction under Time Pressure. Search on Bibsonomy Tabletop The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Shing-Tsaan Huang, Ying-Sung Huang, Su-Shen Hung Alternators on uniform rings of odd size. Search on Bibsonomy Distributed Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Self-stabilization, Graph coloring, Clock synchronization, Concurrent processes, Alternator
18Ha Yoon Song, Junghwan Kim, Kyun Rak Chong An Analytical Model of Scheduling for Conservative Parallel Simulation. Search on Bibsonomy PVM/MPI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Srikanth T. Srinivasan, Roy Dz-Ching Ju, Alvin R. Lebeck, Chris Wilkerson Locality vs. criticality. Search on Bibsonomy ISCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Systems Application Architecture
17Yuuri Sugihara, Yohei Kume, Kazutoshi Kobayashi, Hidetoshi Onodera Speed and yield enhancement by track swapping on critical paths utilizing random variations for FPGAs. Search on Bibsonomy FPGA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FPGA, routing, variation, yield enhancement
17Yuuri Sugihara, Yohei Kume, Kazutoshi Kobayashi, Hidetoshi Onodera Performance optimization by track swapping on critical paths utilizing random variations for FPGAS. Search on Bibsonomy FPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Ryan Johnson 0001, Ippokratis Pandis, Anastasia Ailamaki Critical sections: re-emerging scalability concerns for database storage engines. Search on Bibsonomy DaMoN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Ilia Polian, Damian Nowroth, Bernd Becker 0001 Identification of Critical Errors in Imaging Applications. Search on Bibsonomy IOLTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Low-cost on-line test, Selective hardening, Imaging applications, Error tolerance
17Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini Evaluation of Critical Infrastructures: Challenges and Viable Approaches. Search on Bibsonomy WADS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Yoshiteru Ishida A Critical Phenomenon in a Self-repair Network by Mutual Copying. Search on Bibsonomy KES (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17M. Schulz Extracting Critical Path Graphs from MPI Applications. Search on Bibsonomy CLUSTER The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Qinan Hu, Haihua Pan, Chunyu Kit An Example-Based Study on Chinese Word Segmentation Using Critical Fragments. Search on Bibsonomy IJCNLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Henryk Krawczyk, Tomasz Madajczak Optimal Programming of Critical Sections in Modern Network Processors under Performance Requirements. Search on Bibsonomy PARELEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Mohamed Elgebaly, Manoj Sachdev Efficient adaptive voltage scaling system through on-chip critical path emulation. Search on Bibsonomy ISLPED The full citation details ... 2004 DBLP  DOI  BibTeX  RDF low-power, CMOS, adaptive voltage scaling
17Ravi Rajwar, Alain Kägi, James R. Goodman Inferential queueing and speculative push for reducing critical communication latencies. Search on Bibsonomy ICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF inferential queueing, synchronization, data forwarding
17Paul Barford, Mark Crovella Critical path analysis of TCP transactions. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF World Wide Web, performance analysis, TCP, HTTP, network measurements
17László Lipták, László Lovász 0001 Critical Facets of the Stable Set Polytope. Search on Bibsonomy Comb. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF AMS Subject Classification (2000) Classes: 05C69, 90C57
17Evanthia Papadopoulou Critical area computation for missing material defects in VLSIcircuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #701 - #800 of 38275 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license