|
|
Venues (Conferences, Journals, ...)
|
|
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 |
17 | Fredrik Kahl, Richard I. Hartley, Kalle Åström |
Critical Configurations for N-view Projective Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (2) ![In: 2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2001), with CD-ROM, 8-14 December 2001, Kauai, HI, USA, pp. 158-163, 2001, IEEE Computer Society, 0-7695-1272-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Paul Barford, Mark Crovella |
Critical path analysis of TCP transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2000 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 28 - September 1, 2000, Stockholm, Sweden, pp. 127-138, 2000, ACM, 1-58113-223-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
TCP/IP |
17 | Jeffrey K. Hollingsworth |
Critical Path Profiling of Message Passing and Shared-Memory Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(10), pp. 1029-1040, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 3(2), pp. 273-291, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Kenneth D. Boese, Andrew B. Kahng, Bernard A. McCoy, Gabriel Robins |
Near-optimal critical sink routing tree constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(12), pp. 1417-1436, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Krishna V. Palem, Barbara B. Simons |
Scheduling Time-Critical Instructions on RISC Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 15(4), pp. 632-658, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(6), pp. 738-747, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-8, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers, pp. 302-310, 2008, Springer, 978-3-642-03551-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers, pp. 352-359, 2008, Springer, 978-3-642-03551-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Marcel Paulssen, Angela Sommerfeld |
Are Critical Incidents Really Critical for a Customer Relationship? A MIMIC Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: Data Analysis, Machine Learning and Applications - Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, March 7-9, 2007, pp. 463-470, 2007, Springer, 978-3-540-78239-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissensmanagement (LNCS Volume) ![In: Professional Knowledge Management, Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers, pp. 420-430, 2005, Springer, 3-540-30465-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Susan Stepney |
Critical Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASec ![In: Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers, pp. 62-70, 2002, Springer, 3-540-20693-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Alfred Rosskopf |
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings, pp. 183-197, 1996, Springer, 3-540-61317-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey Bardzell |
Interaction criticism and aesthetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 2357-2366, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 22nd International Conference on Advanced Information Networking and Applications, AINA 2008, GinoWan, Okinawa, Japan, March 25-28, 2008, pp. 963-970, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMTIC ![In: Wireless Networks, Information Processing and Systems, International Multi Topic Conference, IMTIC 2008, Jamshoro, Pakistan, April 11-12, 2008, Revised Selected Papers, pp. 350-356, 2008, Springer, 978-3-540-89852-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 12(3), pp. 36:1-36:23, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 13th Annual International Conference on Mobile Computing and Networking, MOBICOM 2007, Montréal, Québec, Canada, September 9-14, 2007, pp. 75-86, 2007, ACM, 978-1-59593-681-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLIP ![In: The Ninth International Workshop on System-Level Interconnect Prediction (SLIP 2007), Austin, Texas, USA, March 17-18, 2007, Proceedings, pp. 9-14, 2007, ACM, 978-1-59593-622-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 14(4), pp. 291-308, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 22(5), pp. 346-356, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 57-66, 2006, Springer, 3-540-38619-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 8th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2005, Montréal, Quebec, Canada, October 10-13, 2005, pp. 111-117, 2005, ACM, 1-59593-188-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 1(3), pp. 272-304, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2004: 6th International Workshop Cambridge, MA, USA, August 11-13, 2004. Proceedings, pp. 76-91, 2004, Springer, 3-540-22666-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 275-280, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego, California, USA (part of FCRC 2003), pp. 128-137, 2003, ACM, 1-58113-661-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings, pp. 922-948, 2002, Springer, 3-540-00106-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 23(8), pp. 915-920, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 23(5), pp. 447-459, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 271-278, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(9), pp. 967-973, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 30(1), pp. 60-70, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 43(5), pp. 42-48, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 430-435, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland, pp. 262-267, 2010, IEEE Computer Society, 978-0-7695-3965-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPENG ![In: Complexity in Engineering, COMPENG 2010, Rome, Italy, February 22-24, 2010, pp. 88-90, 2010, IEEE Computer Society, 978-0-7695-3974-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPENG ![In: Complexity in Engineering, COMPENG 2010, Rome, Italy, February 22-24, 2010, pp. 79-81, 2010, IEEE Computer Society, 978-0-7695-3974-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPENG ![In: Complexity in Engineering, COMPENG 2010, Rome, Italy, February 22-24, 2010, pp. 85-87, 2010, IEEE Computer Society, 978-0-7695-3974-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPENG ![In: Complexity in Engineering, COMPENG 2010, Rome, Italy, February 22-24, 2010, pp. 76-78, 2010, IEEE Computer Society, 978-0-7695-3974-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPENG ![In: Complexity in Engineering, COMPENG 2010, Rome, Italy, February 22-24, 2010, pp. 91-93, 2010, IEEE Computer Society, 978-0-7695-3974-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPENG ![In: Complexity in Engineering, COMPENG 2010, Rome, Italy, February 22-24, 2010, pp. 18-20, 2010, IEEE Computer Society, 978-0-7695-3974-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 11th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2010, London, England, UK, June 9-11, 2010, pp. 49-54, 2010, IEEE Computer Society, 978-0-7695-4088-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: Fifth IEEE International Symposium on Electronic Design, Test & Applications, DELTA 2010, Ho Chi Minh City, Vietnam, January 13-15, 2010, pp. 164-169, 2010, IEEE Computer Society, 978-0-7695-3978-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 2010 International Conference on CyberWorlds, Singapore, October 20-22, 2010, pp. 360-367, 2010, IEEE Computer Society, 978-0-7695-4215-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: CISIS 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, Poland, 15-18 February 2010, pp. 1014-1021, 2010, IEEE Computer Society, 978-0-7695-3967-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 201-214, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2009 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2009, Sanibel Island, Florida, USA, May 10-13, 2009, pp. 301-310, 2009, ACM, 978-1-60558-500-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 958-962, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: 13th European Test Symposium, ETS 2008, Verbania, Italy, May 25-29, 2008, pp. 119-124, 2008, IEEE Computer Society, 978-0-7695-3150-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 847-852, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 551-560, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers, pp. 180-189, 2008, Springer, 978-3-642-03551-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 237-244, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 227-230, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007, pp. 146-147, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Systems, Control, Modeling and Optimization ![In: Systems, Control, Modeling and Optimization, Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy, pp. 25-29, 2006, Springer, 0-387-33881-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006, pp. 45-50, 2006, ACM, 1-59593-563-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 24-26 October 2006, Shanghai, China, pp. 358-365, 2006, IEEE Computer Society, 0-7695-2645-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2005 ACM SIGMIS CPR conference on Computer personnel research 2005, Atlanta, Georgia, USA, April 14-16, 2005, pp. 32-35, 2005, ACM, 1-59593-011-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 670-671, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(6), pp. 70-75, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(1), pp. 42-49, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1727-1728, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine, IHM 2003, Caen, France, November 25-28, 2003, pp. 182-189, 2003, ACM, 1-58113-803-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2003, San Jose, California, USA, October 30 - November 1, 2003, pp. 170-177, 2003, ACM, 1-58113-676-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 118-126, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 243-250, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 247-250, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceeding of the CHI '98 Conference on Human Factors in Computing Systems, Los Angeles, California, USA, April 18-23, 1998., pp. 265-272, 1998, ACM, 0-201-30987-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 2nd International Conference on Intelligent User Interfaces, IUI 1997, Orlando, Florida, USA, January 6-9, 1997, pp. 217-220, 1997, ACM, 0-89791-839-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings, pp. 211-226, 1997, Springer, 3-540-63531-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Designing Interactive Systems ![In: Proceedings of the 2nd Conference on Designing Interactive Systems: Processes, Practices, Methods and Techniques, DIS 1997, Grand Hotel Krasnapolsky, Amsterdam, the Netherlands, August 18-20, 1997, pp. 239-245, 1997, ACM, 0-89791-863-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
design, performance measurement, critical parameters |
16 | Philip M. Hubbard |
Approximating Polyhedra with Spheres for Time-Critical Collision Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 15(3), pp. 179-210, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(6), pp. 754-768, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(12), pp. 969-992, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(1), pp. 21-28, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(7), pp. 723-728, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 24(12), pp. 1235-1238, 1975. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 168-172, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
QoS, performance evaluation, MAC, cognitive radio, WPANs, WBAN |
16 | Mohamed Elgebaly, Manoj Sachdev |
Variation-Aware Adaptive Voltage Scaling System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(5), pp. 560-571, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(10), pp. 1345-1360, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings, pp. 205-214, 2007, IEEE Computer Society, 978-0-7695-3010-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | David T. Blaauw, Vladimir Zolotov, Savithri Sundareswaran |
Slope propagation in static timing analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(10), pp. 1180-1195, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Arun Krishnamachary, Jacob A. Abraham, Raghuram S. Tupuri |
Timing Verification and Delay Test Generation for Hierarchical Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 14th International Conference on VLSI Design (VLSI Design 2001), 3-7 January 2001, Bangalore, India, pp. 157-162, 2001, IEEE Computer Society, 0-7695-0831-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Michio Oyamaguchi, Yoshikatsu Ohta |
A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings, pp. 187-201, 1997, Springer, 3-540-62950-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols |
A Tool for Practical Reasoning about State Machine Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1996 Australian Software Engineering Conference (ASWEC '96), July 14-18, 1996, Melbourne, Australia, pp. 16-26, 1996, IEEE Computer Society, 0-8186-7635-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(6), pp. 872-885, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2009 International Symposium on Physical Design, ISPD 2009, San Diego, California, USA, March 29 - April 1, 2009, pp. 151-158, 2009, ACM, 978-1-60558-449-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 10th International Symposium on Quality of Electronic Design (ISQED 2009), 16-18 March 2009, San Jose, CA, USA, pp. 147-155, 2009, IEEE Computer Society, 978-1-4244-2952-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 210-212, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Yilin Mo, Bruno Sinopoli |
A characterization of the critical value for Kalman filtering with intermittent observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 2692-2697, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN ![In: Seventh International Conference on Networking (ICN 2008), 13-18 April 2008, Cancun, Mexico, pp. 392-397, 2008, IEEE Computer Society, 978-0-7695-3106-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
entropy, traffic matrices |
15 | Ashraf Armoush, Falk Salewski, Stefan Kowalewski |
Effective Pattern Representation for Safety Critical Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (4) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 4: Embedded Programming / Database Technology / Neural Networks and Applications / Other Applications, December 12-14, 2008, Wuhan, China, pp. 91-97, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sarah Kettley |
Crafts praxis for critical wearables design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 22(1), pp. 5-14, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Tamal K. Dey, Rephael Wenger |
Stability of Critical Points with Interval Persistence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 38(3), pp. 479-512, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Evanthia Papadopoulou |
Higher Order Voronoi Diagrams of Segments for VLSI Critical Area Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings, pp. 716-727, 2007, Springer, 978-3-540-77118-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 735-740, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yue Wang, Wandong Cai, Qi Duan |
Survivable Embedded Mission-Critical Network Base on Fibre Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 2007 International Conference on Parallel Processing Workshops (ICPP Workshops 2007), 10-14 September 2007, Xi-An, China, pp. 16, 2007, IEEE Computer Society, 978-0-7695-2934-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
|
|