Search results for "critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Fredrik Kahl, Richard I. Hartley, Kalle Åström	Critical Configurations for N-view Projective Reconstruction.	CVPR (2)	2001	DBLP DOI BibTeX RDF
17	Paul Barford, Mark Crovella	Critical path analysis of TCP transactions.	SIGCOMM	2000	DBLP DOI BibTeX RDF	TCP/IP
17	Jeffrey K. Hollingsworth	Critical Path Profiling of Message Passing and Shared-Memory Programs.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	program tuning, on-line evaluation, measurement, tools, Parallel and distributed processing
17	Timothy M. Burks, Karem A. Sakallah, Trevor N. Mudge	Critical paths in circuits with level-sensitive latches.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
17	Kenneth D. Boese, Andrew B. Kahng, Bernard A. McCoy, Gabriel Robins	Near-optimal critical sink routing tree constructions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
17	Krishna V. Palem, Barbara B. Simons	Scheduling Time-Critical Instructions on RISC Machines.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	RISC machine scheduling, NP-complete, latency, compiler optimization, register allocation, greedy algorithm, instruction scheduling, deadline, RISC, pipeline processor
17	Premachandran R. Menon, Ytzhak H. Levendel, Miron Abramovici	SCRIPT: a critical path tracing algorithm for synchronous sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
17	David S. Hardin	Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications.	FMCAD	2008	DBLP DOI BibTeX RDF
17	Eric A. M. Luiijf, Albert Nieuwenhuijs, Marieke H. A. Klaver, Michel van Eeten, Edite Cruz	Empirical Findings on Critical Infrastructure Dependencies in Europe.	CRITIS	2008	DBLP DOI BibTeX RDF
17	Joshua Blackwell, William J. Tolone, Seok-Won Lee, Wei-Ning Xiang, Lydia Marsh	An Ontology-Based Approach to Blind Spot Revelation in Critical Infrastructure Protection Planning.	CRITIS	2008	DBLP DOI BibTeX RDF
17	Marcel Paulssen, Angela Sommerfeld	Are Critical Incidents Really Critical for a Customer Relationship? A MIMIC Approach.	GfKl	2007	DBLP DOI BibTeX RDF
17	Andrea Freßmann, Rainer Maximini, Thomas Sauer	Towards Collaborative Agent-Based Knowledge Support for Time-Critical and Business-Critical Processes.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
17	Susan Stepney	Critical Critical Systems.	FASec	2002	DBLP DOI BibTeX RDF
17	Alfred Rosskopf	Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment.	Ada-Europe	1996	DBLP DOI BibTeX RDF
16	Jeffrey Bardzell	Interaction criticism and aesthetics.	CHI	2009	DBLP DOI BibTeX RDF	interaction criticism, hci, interaction design, aesthetics, cultural theory, critical theory
16	Md. Abdur Razzaque, Choong Seon Hong	Multi-Token Distributed Mutual Exclusion Algorithm.	AINA	2008	DBLP DOI BibTeX RDF	Distributed Algorithm, Mutual Exclusion, Critical Section, Token Ring
16	Javed Ali Memon, Nazeer Hussain, Abdul Qadeer Khan Rajput	Importance of Data Center Philosophy, Architecture and Its Technologies.	IMTIC	2008	DBLP DOI BibTeX RDF	critical and tiers levels, power and cooling systems, reliability, availability
16	Suchismita Roy, P. P. Chakrabarti 0001, Pallab Dasgupta	Event propagation for accurate circuit delay calculation using SAT.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Critical delay, event propagation, SAT
16	Paul Balister, Béla Bollobás, Amites Sarkar, Santosh Kumar 0001	Reliable density estimates for coverage and connectivity in thin strips of finite length.	MobiCom	2007	DBLP DOI BibTeX RDF	wireless sensor networks, connectivity, coverage, network topology, deployment, critical, random geometric graphs, barrier coverage
16	Payman Zarkesh-Ha, Ken Doniger	Stochastic interconnect layout sensitivity model.	SLIP	2007	DBLP DOI BibTeX RDF	critical area analysis, layout sensitivity, reliability, stochastic model, yield, design for manufacturability, defect density
16	George Issac, Chandrasekharan Rajendran, R. N. Anantharaman	An instrument for the measurement of customer perceptions of quality management in the software industry: An empirical study in India.	Softw. Qual. J.	2006	DBLP DOI BibTeX RDF	Keyword Quality management, Customer’s perception, Critical factors, Empirical study, Instrument, Software industry, Confirmatory factor analysis
16	Tomoyuki Nieda, Alexander A. Pasko, Tosiyasu L. Kunii	Detection and classification of topological evolution for linear metamorphosis.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Critical point classification, Shape metamorphosis, Morse theory, Topological evolution
16	Yong Cui 0001, Hao Che, Constantino M. Lagoa, ZhiMei Zheng	Autonomic Interference Avoidance with Extended Shortest Path Algorithm.	ATC	2006	DBLP DOI BibTeX RDF	critical link, interference, MPLS, LSP
16	Azzedine Boukerche, Fernando H. S. Silva, Regina Borges de Araujo, Richard Werner Nelem Pazzi	A low latency and energy aware event ordering algorithm for wireless actor and sensor networks.	MSWiM	2005	DBLP DOI BibTeX RDF	critical safety, ordering of events, wireless actor and sensor networks
16	Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn	Interaction cost and shotgun profiling.	ACM Trans. Archit. Code Optim.	2004	DBLP DOI BibTeX RDF	modeling, Performance analysis, profiling, critical path
16	Soonhak Kwon, Kris Gaj, Chang Hoon Kim, Chun Pyo Hong	Efficient Linear Array for Multiplication in GF(2m) Using a Normal Basis for Elliptic Curve Cryptography.	CHES	2004	DBLP DOI BibTeX RDF	finite field, elliptic curve cryptography, Massey-Omura multiplier, Gaussian normal basis, critical path delay
16	Ravindra Jejurikar, Cristiano Pereira, Rajesh K. Gupta 0001	Leakage aware dynamic voltage scaling for real-time embedded systems.	DAC	2004	DBLP DOI BibTeX RDF	critical speed, procrastication, real-time systems, leakage power, EDF scheduling, low power scheduling
16	Tong Li 0003, Alvin R. Lebeck, Daniel J. Sorin	Quantifying instruction criticality for shared memory multiprocessors.	SPAA	2003	DBLP DOI BibTeX RDF	shared memory multiprocessors, slack, critical path analysis
16	Christopher D. Gill, Fred Kuhns, Douglas C. Schmidt, Ron Cytron	Empirical Differences between COTS Middleware Scheduling Strategies.	OTM	2002	DBLP DOI BibTeX RDF	Dynamic Scheduling Algorithms and Analysis, Real-Time Assurance and Optimization, Quality of Service Issues, Middleware and APIs, Mission Critical Systems, Distributed Real-time and Embedded Systems
16	Yufei Zhang 0012, Yee-Hong Yang	Multiple Illuminant Direction Detection with Application to Image Synthesis.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	illuminant direction detection, Computer vision, image synthesis, critical point
16	Stiliyan Kalitzin, Joes Staal, Bart M. ter Haar Romeny, Max A. Viergever	A Computational Method for Segmenting Topological Point-Sets and Application to Image Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	Differential topology, critical point-sets, image analysis, scale space, ridges
16	Jyhjong Lin, David Chenho Kung, Pei Hsia	Top-down development of real-time software specification.	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
16	Chin-Shyurng Fahn, Jhing-Fa Wang, Jau-Yien Lee	An Adaptive Reduction Procedure for the Piecewise Linear Approximation of Digitized Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	2D digitised curves, adaptive reduction, computational complexity, computerised picture processing, computerised picture processing, time complexity, critical points, piecewise linear approximation, square grid
16	M. Aater Suleman, Onur Mutlu, Moinuddin K. Qureshi, Yale N. Patt	Accelerating Critical Section Execution with Asymmetric Multicore Architectures.	IEEE Micro	2010	DBLP DOI BibTeX RDF	heterogeneous cores, parallel programming, CMP, multicore, locks, critical sections, serialization
16	Tom Mens, Jeff Magee, Bernhard Rumpe	Evolving Software Architecture Descriptions of Critical Systems.	Computer	2010	DBLP DOI BibTeX RDF	Software engineering, Software architecture, Critical systems, Architecture descriptions, Software-intensive systems, Architectural evolution
16	Mike Hinchey, Lorcan Coyle	Evolving Critical Systems: A Research Agenda for Computer-Based Systems.	ECBS	2010	DBLP DOI BibTeX RDF	evolving critical systems (ECS), softwware evolution
16	Jocelyn Aubert, Thomas Schaberreiter, Christophe Incoul, Djamel Khadraoui, Benjamin Gâteau	Risk-Based Methodology for Real-Time Security Monitoring of Interdependent Services in Critical Infrastructures.	ARES	2010	DBLP DOI BibTeX RDF	CI Interdependency, Security, Monitoring, Risk Management, Critical Infrastructure
16	Paolo Capodieci, Stefano Diblasi, Ester Ciancamerla, Michele Minichino, Chiara Foglietta, Davide Lefevre, Gabriele Oliva, Stefano Panzieri, Roberto Setola, Stefano De Porcellinis, Francesco Delli Priscoli, Marco Castrucci, Vincenzo Suraci, Leonid Lev, Yosi Shneck, Djamel Khadraoui, Jocelyn Aubert, Serguei Iassinovski, Jianmin Jiang, Paulo Simões 0001, Filipe Caldeira, Agnieszka Spronska, Carlo Harpes, Matthieu Aubigny	Improving Resilience of Interdependent Critical Infrastructures via an On-Line Alerting System.	COMPENG	2010	DBLP DOI BibTeX RDF	Interdependency modeling, Distributed Interdependency Estimation, Mixed Holistic Reductionistic, Critical Infrastructures
16	Emiliano Casalicchio, Emanuele Galli, Salvatore Tucci	Macro and Micro Agent-Based Modeling and Simulation of Critical Infrastructures.	COMPENG	2010	DBLP DOI BibTeX RDF	distributed systems, complex systems, distributed simulation, Critical infrastructures, agent-based modeling and simulation
16	Vincenzo Fioriti, Gregorio D'Agostino, Sandro Bologna	On Modeling and Measuring Inter-dependencies among Critical Infrastructures.	COMPENG	2010	DBLP DOI BibTeX RDF	topological cal properties, critical infrastructure, interdependence
16	Emiliano Casalicchio, Roberto Setola, Sandro Bologna	A Two-Stage Approach to Simulate Interdependent Critical Infrastructures.	COMPENG	2010	DBLP DOI BibTeX RDF	Critical infrastructures interdependencies, Heterogeneous Infrastructures, Simulation, Complex Systems
16	Elisa Castorini, Paolo Palazzari, Alberto Tofani, Paolo Servillo	Ontological Framework to Model Critical Infrastructures and their Interdependencies.	COMPENG	2010	DBLP DOI BibTeX RDF	federated simulation, ontology, Critical Infrastructure Protection
16	Marios M. Polycarpou, Georgios Ellinas, Elias Kyriakides, Christos G. Panayiotou	Intelligent Health Monitoring of Critical Infrastructure Systems.	COMPENG	2010	DBLP DOI BibTeX RDF	Critical Infrastructure Systems, Fault Diagnosis, Health Monitoring
16	Mohammed A. Alhabeeb, Saad Alsunbul, Abdullah Mohammed Almuhaideb, Phu Dung Le, Bala Srinivasan 0002	A Novel Security Approach for Critical Information Systems: Preventing Flooding in the Non-authenticated Client Area Using a New Service from Local Network Service Providers.	SNPD	2010	DBLP DOI BibTeX RDF	Denail of Service, Critical system, Flooding attack
16	Alberto Bosio, Patrick Girard 0001, Serge Pravossoudovitch, Paolo Bernardi, Matteo Sonza Reorda	An Exact and Efficient Critical Path Tracing Algorithm.	DELTA	2010	DBLP DOI BibTeX RDF	Fault models, Fault Simulation, Critical Path Tracing
16	Linbo Luo, Suiping Zhou, Wentong Cai 0001, Michael Lees, Malcolm Yoke Hean Low	Modeling Human-Like Decision Making for Virtual Agents in Time-Critical Situations.	CW	2010	DBLP DOI BibTeX RDF	intelligent virtual humans, time-critical decision making, crowd simulation
16	Martin Hall-May, Mike Surridge	Resilient Critical Infrastructure Management Using Service Oriented Architecture.	CISIS	2010	DBLP DOI BibTeX RDF	QoS, SOA, SLA, resilience, critical infrastructure
16	Brian Butka, Janusz Zalewski, Andrew J. Kornecki	Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Tool Qualification, Formal Methods, Safety-Critical Systems, Hardware Design, HDL, PLD
16	Aleksandra Sarcevic, Randall S. Burd	Information handover in time-critical work.	GROUP	2009	DBLP DOI BibTeX RDF	information handover, time-critical work, traumatic injury, communication, healthcare, teamwork
16	Ya-Yueh Shih, Siao-Sian Huang	Exploring the Critical Success Factors of Mobile Commerce via Qualitative Method- in Case of Insurance Industry.	ITNG	2009	DBLP DOI BibTeX RDF	case study, M-commerce, qualitative method, critical success factors
16	Rajeshwary Tayade, Jacob A. Abraham	Critical Path Selection for Delay Test Considering Coupling Noise.	ETS	2008	DBLP DOI BibTeX RDF	Coupling noise, weighted partial max sat, critical path selection, delay test
16	Marek Grzegorz Stochel, Radek Sztando	Testing Optimization for Mission-Critical, Complex, Distributed Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	six sigma, public safety, testing optimization, mission critical, DMAIC
16	Fergal McCaffery, Minna Pikkarainen, Ita Richardson	Ahaa --agile, hybrid assessment method for automotive, safety critical smes.	ICSE	2008	DBLP DOI BibTeX RDF	assessment methods, automotive spice, software process improvement, cmmi, safety-critical, agile practices
16	Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Concetta Pragliola	Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures.	CRITIS	2008	DBLP DOI BibTeX RDF	Quantitative Approaches, Cost/Benefit Evaluation, Security, Risk Analysis, Railways, Critical Infrastructure Protection
16	David Lorge Parnas, Sergiy A. Vilkomir	Precise Documentation of Critical Software.	HASE	2007	DBLP DOI BibTeX RDF	testing, specifications, documentation, critical software
16	Riaz Naseer, Jeff Draper, Younes Boulghassoul, Sandeepan DasGupta, Art Witulski	Critical charge and set pulse widths for combinational logic in commercial 90nm cmos technology.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	critical charge, soft error, single event transient
16	Yuan Zhang, Vugranam C. Sreedhar, Weirong Zhu, Vivek Sarkar, Guang R. Gao	Optimized lock assignment and allocation: a method for exploiting concurrency among critical sections.	PPoPP	2007	DBLP DOI BibTeX RDF	isolation semantics, concurrency, synchronization, locks, critical sections
16	John W. Barrett 0001, Leonid Prigozhin	Sandpiles and Superconductors: Dual Variational Formulations for Critical-State Problems.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	critical-state problems, duality, variational inequalities, numerical solution
16	Ricky E. Sward, Mark Gerken	Developing safety critical software for an unmanned aerial vehicle situational awareness tool.	SIGAda	2006	DBLP DOI BibTeX RDF	formal methods, UAV, unmanned aerial vehicle, safety critical, SPARK, high integrity
16	Dong Cheng, Feiyan Deng, Hongtao Li	Critical Factors for Successful Implementation of ERP in China.	ICEBE	2006	DBLP DOI BibTeX RDF	Enterprise Resource Planning (ERP) C Critical Factors, Strategic planning abilities, leaderfs support, competence of IT section, business flow
16	K. D. Joshi 0001, Kristine M. Kuhn	Examining the masculinity and femininity of critical attributes necessary to succeed in IT.	CPR	2005	DBLP DOI BibTeX RDF	critical attributes, feminine, masculine, skills, IT professionals
16	Sven Burmester, Holger Giese, Martin Hirsch 0001, Daniela Schilling, Matthias Tichy	The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems.	ICSE	2005	DBLP DOI BibTeX RDF	model checking, UML, embedded systems, real-time, MDA, safety-critical
16	Jerry Drobka, David Noftz, Rekha Raghu	Piloting XP on Four Mission-Critical Projects.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	project management, refactoring, quality, Extreme programming, XP, software process, use cases, agile methods, maintainability, pair programming, cycle time, user stories, mission-critical
16	Jeffrey S. Norris, Poul-Henning Kamp	Mission-Critical Development with Open Source Software: Lessons Learned.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	mission-critical software, open source development
16	Paul Dourish, Janet Finlay, Phoebe Sengers, Peter C. Wright	Reflective HCI: towards a critical technical practice.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	cultural studies, arts, humanities, critical technical practice
16	Sandrine Cazabat, Jean-Luc Soubie	Simulation in work analysis for the design and evaluation of critical situations help systems: the case of flood management.	IHM	2003	DBLP DOI BibTeX RDF	critical situations, lwork analysis, simulation, validation, scenario
16	Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini	Fault-tolerant platforms for automotive safety-critical applications.	CASES	2003	DBLP DOI BibTeX RDF	fault-tolerant, VLSI, system-on-a-chip, automotive, safety critical, multi-processor
16	Marvin V. Zelkowitz, Ioana Rus	The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program.	ICSM	2001	DBLP DOI BibTeX RDF	Evolutionary software, Life and mission critical software, Process characterization, Space Shuttle program, Software independent verification and validation, Software safety and reliability, Metrics, Maintenance
16	Ricardo C. Farias, Joseph S. B. Mitchell, Cláudio T. Silva, Brian N. Wylie	Time-Critical Rendering of Irregular Grids.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	time-critical rendering, irregular grid data sets, fastest algorithms, computer hardware, very large data set analysis, time budget, medium-sized data sets, image accuracy, optimizations, triangulation, simplification, rendering (computer graphics), hierarchical representations, frame rates, approximation methods, real time analysis, data sets, image generation, irregular grids, rendering techniques, rendering algorithms, object space
16	Fangmei Wu, Meng Li	Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	dynamic decision table, software testing, safety-critical software, interlocking
16	Guy A. Boy	Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems.	CHI	1998	DBLP DOI BibTeX RDF	function allocation, evaluation, participatory design, automation, safety critical systems, active documents, organizational memory systems, aeronautics
16	Daniel D. Suthers, Alan M. Lesgold, Sandra Katz, Arlene Weiner, Eva Erdosne Toth, Kim Harrigal, Dan Jones, Joe Toth, John Connelly, Yazmine DeLeon	An Interface for Collaborative and Coached Approaches to Learning Critical Inquiry.	IUI	1997	DBLP DOI BibTeX RDF	critical inquiry, collaborative learning, coaching
16	Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti	Providing Automated Support to Deductive Analysis of Time Critical Systems.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	time- and safety-critical systems, verification, formal methods, specification, temporal logic, validation, case study, automated theorem proving, experience report
16	William M. Newman	Better or Just Different? On the Benefits of Designing Interactive Systems in Terms of Critical Parameters.	Symposium on Designing Interactive Systems	1997	DBLP DOI BibTeX RDF	design, performance measurement, critical parameters
16	Philip M. Hubbard	Approximating Polyhedra with Spheres for Time-Critical Collision Detection.	ACM Trans. Graph.	1996	DBLP DOI BibTeX RDF	medial-axis surfaces, time-critical computing, approximation, collision detection, interactive systems, spheres
16	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
16	Giacomo Bucci, Enrico Vicario	Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Time-critical systems, model partitioning, incremental state space enumeration, state space projection, compositional validation, time Petri Nets, finite state models
16	Susan L. Gerhart, Dan Craigen, Ted Ralston	Experience with Formal Methods in Critical Systems.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	social benefits, risky applications, regulatory agencies, safety assurance, security, formal specification, formal methods, software reliability, safety, security of data, legislation, critical systems
16	Michael G. Burke, Barbara G. Ryder	A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	intraprocedural domains, critical analysis, incremental iterative data flow analysis algorithms, fixed point iteration solution, interprocedural domains, model, parallel algorithms, parallel programming
16	Walter H. Kohler	A Preliminary Evaluation of the Critical Path Method for Scheduling Tasks on Multiprocessor Systems.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Acyclic directed graph model, critical path priority method, multiprocessor scheduling, branch-and-bound algorithm
16	Khaled A. Ali, Jahangir H. Sarker, Hussein T. Mouftah	A MAC protocol for cognitive wireless body area sensor networking.	IWCMC	2010	DBLP DOI BibTeX RDF	QoS, performance evaluation, MAC, cognitive radio, WPANs, WBAN
16	Mohamed Elgebaly, Manoj Sachdev	Variation-Aware Adaptive Voltage Scaling System.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
16	Ranganath Atreya, Neeraj Mittal, Sathya Peri	A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	quorumbased algorithm, resource management, mutual exclusion, message-passing system, group mutual exclusion
16	Yun Long, Asaf Nachmias, Yuval Peres	Mixing Time Power Laws at Criticality.	FOCS	2007	DBLP DOI BibTeX RDF
16	David T. Blaauw, Vladimir Zolotov, Savithri Sundareswaran	Slope propagation in static timing analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
16	Arun Krishnamachary, Jacob A. Abraham, Raghuram S. Tupuri	Timing Verification and Delay Test Generation for Hierarchical Designs.	VLSI Design	2001	DBLP DOI BibTeX RDF
16	Michio Oyamaguchi, Yoshikatsu Ohta	A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems.	RTA	1997	DBLP DOI BibTeX RDF
16	Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols	A Tool for Practical Reasoning about State Machine Designs.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	verification, formal methods, temporal logic, state machines
15	Habib M. Ammari, Sajal K. Das 0001	Critical Density for Coverage and Connectivity in Three-Dimensional Wireless Sensor Networks Using Continuum Percolation.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
15	Yen-Hung Lin, Shu-Hsin Chang, Yih-Lang Li	Critical-trunk based obstacle-avoiding rectilinear steiner tree routings for delay and slack optimization.	ISPD	2009	DBLP DOI BibTeX RDF	elmore delay model, obstacle-avoiding rectilinear steiner tree, performance-driven routing, worst negative slack, timing constraint
15	Siddharth Garg, Diana Marculescu	3D-GCP: An analytical model for the impact of process variations on the critical path delay distribution of 3D ICs.	ISQED	2009	DBLP DOI BibTeX RDF
15	María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Antonio Linares	Developing a Decision Support Tool for Dam Management with SPIN.	FMICS	2009	DBLP DOI BibTeX RDF
15	Yilin Mo, Bruno Sinopoli	A characterization of the critical value for Kalman filtering with intermittent observations.	CDC	2008	DBLP DOI BibTeX RDF
15	Hong Wang, Zhenghu Gong, Zexin Lu, Jinshu Su, Sudan Li	An Entropy Based Algorithm to Find Critical Traffic Matrices.	ICN	2008	DBLP DOI BibTeX RDF	entropy, traffic matrices
15	Ashraf Armoush, Falk Salewski, Stefan Kowalewski	Effective Pattern Representation for Safety Critical Embedded Systems.	CSSE (4)	2008	DBLP DOI BibTeX RDF
15	Sarah Kettley	Crafts praxis for critical wearables design.	AI Soc.	2007	DBLP DOI BibTeX RDF
15	Tamal K. Dey, Rephael Wenger	Stability of Critical Points with Interval Persistence.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
15	Evanthia Papadopoulou	Higher Order Voronoi Diagrams of Segments for VLSI Critical Area Extraction.	ISAAC	2007	DBLP DOI BibTeX RDF
15	Wenping Wang, Zile Wei, Shengqi Yang, Yu Cao 0001	An efficient method to identify critical gates under circuit aging.	ICCAD	2007	DBLP DOI BibTeX RDF
15	Yue Wang, Wandong Cai, Qi Duan	Survivable Embedded Mission-Critical Network Base on Fibre Channel.	ICPP Workshops	2007	DBLP DOI BibTeX RDF