|
|
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 |
19 | Robin 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](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 5(2), pp. 133-135, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | David Akers, Matthew Simpson, Robin Jeffries, Terry Winograd |
Undo and erase events as indicators of usability problems. ![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. 659-668, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
erase, google sketchup, user-reported critcial incident technique, usability testing, undo, critical incidents |
18 | Jakob E. Bardram, Niels Nørskov |
A context-aware patient safety system for the operating room. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp ![In: UbiComp 2008: Ubiquitous Computing, 10th International Conference, UbiComp 2008, Seoul, Korea, September 21-24, 2008, Proceedings, pp. 272-281, 2008, ACM, 978-1-60558-136-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CAPSIS, context-aware computing, safety-critical systems, pervasive healthcare, operating room |
18 | Siming Lin, Xueqi Cheng, Jianming Lv |
State Causality Analysis of Conservative Parallel Network Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), April 14-16, 2008, Ottawa, Canada, pp. 251-260, 2008, IEEE Computer Society, 0-7695-3143-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
performance evaluation, speedup, parallel efficiency, critical path analysis, conservative simulation |
18 | Qiang Zhou 0001, Yici Cai, Duo Li, Xianlong Hong |
A Yield-Driven Gridless Router. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(5), pp. 653-660, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
gridless routing, integrated circuit layout, critical area, design for yield |
18 | Sebastian V. Fallert, Sergei N. Taraskin |
Stochastic Spreading Processes on a Network Model Based on Regular Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOWIRE ![In: Bio-Inspired Computing and Communication, First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007, Cambridge, UK, April 2-5, 2007, Revised Selected Papers, pp. 133-144, 2007, Springer, 978-3-540-92190-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Network Epidemics, SIS Model, Contact Process, Critical Exponents |
18 | Ann Miller |
Trends in Process Control Systems Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 3(5), pp. 57-60, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
control systems, PCS, critical infrastructure |
18 | Alex Garthwaite, David Dice, Derek White |
Supporting per-processor local-allocation buffers using lightweight user-level preemption notification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005, pp. 24-34, 2005, ACM, 1-59593-047-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
restartable critical sections, locality, memory allocation |
18 | Subhash Bhalla |
Parallel Concurrency Control Activity for Transaction Management in Real-time Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 28(3), pp. 345-369, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
parallel concurrency control, time-critical transactions, synchronization, distributed real-time database systems |
18 | Arjan Kuijper, Luc Florack |
The Relevance of Non-Generic Events in Scale Space Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 57(1), pp. 67-84, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
multi-scale segmentation, topology, scale space, critical points, catastrophe theory, deep structure |
18 | Eugene Shragowitz, Habib Youssef, Bing Lu |
Iterative Converging Algorithms for Computing Bounds on Durations of Activities in Pert and Pert-Like Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 7(1), pp. 5-22, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
duration of activities, scheduling, approximation algorithms, directed acyclic graphs, NP-complete problems, critical path, timing bounds, PERT, slack |
18 | Horst F. Wedde, Sabine Böhm, Wolfgang Freund |
Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 8-10 January 2001, Rome, Italy, pp. 169-178, 2001, IEEE Computer Society, 0-7695-1068-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
adaptive transaction management, adaptive concurrency control, real-time systems, safety-critical systems, Distributed operating systems |
18 | Norman F. Schneidewind |
Software Metrics Model For Quality Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 4th IEEE International Software Metrics Symposium (METRICS 1997), November 5-7, 1997, Albuquerque, NM, USA, pp. 127-136, 1997, IEEE Computer Society, 0-8186-8093-8. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Li 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](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010, pp. 125-134, 2010, ACM, 978-1-4503-0055-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
critical information, dynamic dashboard, data mining, information extraction, multi-document summarization, disaster management, spatial clustering |
18 | Lindsay Grace |
Critical gameplay: software studies in computer gameplay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 3025-3030, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software philosophy, software studies, gameplay, critical design |
18 | Daniel Tang, Ales Plsek, Jan Vitek |
Static checking of safety critical Java annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 148-154, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
verification, annotations, safety critical systems, memory safety |
18 | Christian Fotsing, Annie Geniet, Guy Vidal-Naquet |
Tree scheduling versus sequential scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC-CARS ![In: 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010, pp. 71-74, 2010, ACM, 978-1-60558-915-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
conditional statements, critical real-time systems, sequential scheduling, tree scheduling, validation |
18 | Andrew J. Kornecki, Janusz Zalewski |
Certification of software for real-time safety-critical systems: state of the art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(2), pp. 149-161, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification |
18 | Pedro T. Isaías, Paula Miranda, Sara Pífano |
Critical Success Factors for Web 2.0 - A Reference Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (12) ![In: Online Communities and Social Computing, Third International Conference, OCSC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 354-363, 2009, Springer, 978-3-642-02773-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Web 2.0, users, Critical Success Factors |
18 | Mark Blythe, Paul A. Cairns |
Critical methods and user generated content: the iPhone on YouTube. ![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. 1467-1476, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
green HCI, user experience, user generated content, YouTube, iPhone, critical theory |
18 | Yili Gong, Marlon E. Pierce, Geoffrey Charles Fox |
Dynamic Resource-Critical Workflow Scheduling in Heterogeneous Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSSPP ![In: Job Scheduling Strategies for Parallel Processing, 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers, pp. 1-15, 2009, Springer, 978-3-642-04632-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Resource-Critical Scheduling, Workflow, Dynamic Scheduling, Heterogeneous Environments |
18 | Kyriakos Christou, Maria K. Michael, Spyros Tragoudas |
On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 24(1-3), pp. 203-222, 2008. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Anna Nagurney, Qiang Qiang |
A network efficiency measure with application to critical infrastructure networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(1-3), pp. 261-275, 2008. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Igor Nai Fovino, Marcelo Masera |
Methodology for Experimental ICT Industrial and Critical Infrastructure Security Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroISI ![In: Intelligence and Security Informatics, First European Conference, EuroISI 2008, Esbjerg, Denmark, December 3-5, 2008. Proceedings, pp. 274-275, 2008, Springer, 978-3-540-89899-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ICT Security assessment, ICT Experimental Security, Critical Infrastructures |
18 | John A. Sokolowski, Charles D. Turnitsa, Saikou Y. Diallo |
A Conceptual Modeling Method for Critical Infrastructure Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), April 14-16, 2008, Ottawa, Canada, pp. 203-211, 2008, IEEE Computer Society, 0-7695-3143-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conceptual modeling, lattice, critical infrastructure, concept analysis |
18 | Farah Magrabi |
Using cognitive models to evaluate safety-critical interfaces in healthcare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, 2008, pp. 3567-3572, 2008, ACM, 978-1-60558-012-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
healthcare, cognitive models, usability evaluation, safety-critical systems, goms |
18 | P. Seetha Ramaiah, M. Ben Swarup, K. Raja Kumar |
Conceptual Modeling for Safety Critical Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 814-819, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
system design methodology, conceptual modeling, safety-critical systems |
18 | Nuno Polónio, Carlos Regalo, Daniel Gaspar |
Real Time Notifications for Critical Parameters in Operations and Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic, pp. 311-318, 2008, IEEE Computer Society, 978-0-7695-3302-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
critical alarms, alarm management, Pharmaceutical maintenance, CMMS, SMS |
18 | Maria Bortoluzzi |
Towards a Framework of Critical Multimodal Analysis: Emotion in a Film Trailer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST 2102 Conference (Prague) ![In: Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions, COST Action 2102 International Conference, Prague, Czech Republic, October 15-18, 2008, Revised Selected and Invited Papers, pp. 50-62, 2008, Springer. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Socio-semiotic Analysis, Critical Discourse Studies, Emotion, Multimodality |
18 | Tiago 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](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers, pp. 200-210, 2008, Springer, 978-3-642-03551-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Critical Information Infrastructure Protection, Malicious Traffic Analysis, Threats and Attacks to AT Infrastructures, Automation Technology Security |
18 | Harold W. Thimbleby |
User-Centered Methods Are Insufficient for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USAB ![In: HCI and Usability for Medicine and Health Care, Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November, 22, 2007, Proceedings, pp. 1-20, 2007, Springer, 978-3-540-76804-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Safety Critical Interactive Devices, Human-Computer Interaction, Usability Engineering, Interaction Programming |
18 | Daniel S. Coming, Oliver G. Staadt |
Stride scheduling for time-critical collision detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2007, Newport Beach, California, USA, November 5-7, 2007, pp. 241-242, 2007, ACM, 978-1-59593-863-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
many-body collision detection, time-critical computing, Collision Detection, dynamic scenes |
18 | Sangsoo Kim, Jiyong Park, Heeseo Chae, Hoh Peter In |
Situation-Aware Based Self-adaptive Architecture for Mission Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 464-475, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Real-Time Distributed Simulation, Self-Adaptation, Situation-Awareness, Mission Critical System, HLA/RTI |
18 | Marianthi Theoharidou, Eleftheria Stougiannou, Dimitris Gritzalis |
A CBK for Information Security and Critical Infrastructure Protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Conference on Information Security Education ![In: Fifth World Conference on Information Security Education, Proceedings of the IFIP TC11 WG 11.8, WISE 5, 19 to 21 June 2007, United States Military Academy, West Point, New York, USA, pp. 49-56, 2007, Springer, 978-0-387-73268-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Common Body of Knowledge (CBK), Academic Curriculum, Academic Programme, Critical Infrastructure Protection |
18 | Vanya Topalova |
Critical transfer issues in QoS-C architecture models and session-based communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 108, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
QoS-C architecture models, converged communication, critical transfer, SIP, H.323 |
18 | Jun Wu |
Critical Success Factors for ERP System Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (1) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 1, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 739-745, 2007, Springer, 978-0-387-75901-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Critical success factors, Conceptual framework, ERP implementation |
18 | William 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](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1353-1367, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Business analytics, Business intelligence system, Strategic information systems, Critical success factors, Delphi method |
18 | Gregory Zoughbi, Lionel C. Briand, Yvan Labiche |
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 574-588, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority |
18 | Nipon Theera-Umpon |
Ionospheric F-Layer Critical Frequency Estimation from Digital Ionogram Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III, pp. 190-200, 2007, Springer, 978-3-540-74482-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ionogram, Size-contrast filter, Critical frequency, Ordinary-mode wave, Extraordinary-mode wave |
18 | Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kristin Thorsen |
Experiences from introducing UML-based development in a large safety-critical project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(4), pp. 555-581, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Model-driven development, Embedded software, Case study, Safety-critical software |
18 | David Geer |
Security of Critical Control Systems Sparks Concern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 39(1), pp. 20-23, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Security, Safety-critical systems |
18 | Vladan Bozic |
Application of finite state automata to the bakery algorithm in critical section modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 362, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
bakery algorithm, finite state automata, critical section |
18 | Jonas Landgren |
Making action visible in time-critical work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 201-210, 2006, ACM, 1-59593-372-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
firemen, time-critical work, ethnography, collaborative work, emergency response |
18 | Nick Foster, Luke Compston, Daniel Barkho |
MAIL: a framework for critical technical practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 2006 Australasian Computer-Human Interaction Conference, OZCHI 2006, Sydney, Australia, November 20-24, 2006, pp. 205-212, 2006, ACM, 1-59593-545-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
CTP, MAIL, metaphor assumption inversion loop, HCI, human computer interaction, framework, critical technical practice |
18 | Ebrahim Bagheri, Ali A. Ghorbani 0001 |
Towards an MDA-oriented UML profile for critical infrastructure modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006, Markham, Ontario, Canada, October 30 - November 1, 2006, pp. 66, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modeling and simulation, UML profiles, critical infrastructure |
18 | Jose J. Gonzalez, Jose M. Sarriegi, Alazne Gurrutxaga |
A Framework for Conceptualizing Social Engineering Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructures Security, First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006, Revised Papers, pp. 79-90, 2006, Springer, 3-540-69083-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
system archetype, pattern recognition, information security, system dynamics, critical infrastructure, Social engineering |
18 | Richard Bubel, Reiner Hähnle |
Integration of informal and formal development of object-oriented safety-critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(3), pp. 197-211, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, Formal specification, Design patterns, OCL, Safety-critical software |
18 | Lei-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](Pics/bibsonomy.png) |
Data Base ![In: Data Base 35(2), pp. 8-31, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
virtual store, electronic commerce, technology acceptance model, critical success factor, innovation diffusion, online retailing |
18 | Nilay V. Oza, Tracy Hall, Austen Rainer, Susan Grey |
Critical factors in software outsourcing: a pilot study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISER ![In: Proceedings of the ACM Workshop on Interdisciplinary Software Engineering Research, WISER 2004, Newport Beach, CA, USA, November 5, 2004, pp. 67-71, 2004, ACM, 1-58113-988-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
critical factors, software outsourcing, relationships |
18 | Marion G. Ceruti, Stuart Harvey Rubin |
Dynamic Three-Value Logic in Decentralized Time-Critical Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy, pp. 131-138, 2003, IEEE Computer Society, 0-7695-1876-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
time-critical targets, sensors, Data fusion, heterogeneous systems, three-value logic, decentralized systems |
18 | Ramendra 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](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24 - 27, 2003, pp. 426-435, 2003, ACM, 1-58113-737-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
critical event prediction, large-scale clusters, system event log |
18 | Bruno 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](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 196-207, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains |
18 | Paul 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](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 160, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
critical-care nursing tool, wireless hand-held devices, data mining, decision support system, outlier detection |
18 | Harry M. Sneed, Peter Brössler |
Critical Success Factors in Software Maintenance-A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 19th International Conference on Software Maintenance (ICSM 2003), The Architecture of Existing Systems, 22-26 September 2003, Amsterdam, The Netherlands, pp. 190-198, 2003, IEEE Computer Society, 0-7695-1905-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Software Product Management, System Measurement and Evaluation, Empirical Studies, Critical Success Factors, Maintenance and Evolution |
18 | Yasser A. Sowb, Robert G. Loeb |
Cognitive Analysis of Intraoperative Critical Events: A Problem-Driven Approach to Aiding Clinicians' Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 4(2), pp. 107-119, 2002. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Josep Domingo-Ferrer, Francesc Sebé |
Invertible Spread-Spectrum Watermarking for Image Authentication and Multilevel Access to Precision-Critical Watermarked Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: 2002 International Symposium on Information Technology (ITCC 2002), 8-10 April 2002, Las Vegas, NV, USA, pp. 152-157, 2002, IEEE Computer Society, 0-7695-1506-1. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Philip J. Dobson |
The Philosophy of Critical Realism-An Opportunity for Information Systems Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 3(2), pp. 199-210, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
critical realism, morphogenetic theory, structure, structuration theory, agency |
18 | Kaushik Dutta, Debra E. VanderMeer, Anindya Datta, Krithi Ramamritham |
Discovering critical edge sequences in E-commerce catalogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 3rd ACM Conference on Electronic Commerce (EC-2001), Tampa, Florida, USA, October 14-17, 2001, pp. 65-74, 2001, ACM, 1-58113-387-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
critical edge sequence, web site performance, web usage analysis, approximation, accuracy |
18 | Stefania 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](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 119-124, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
dependable protocols, model checking, formal verification, safety-critical systems |
18 | A. S. Nepomniaschaya |
An Associative Parallel Algorithm for Finding a Critical Cycle in Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: Seventh International Conference on Parallel and Distributed Systems, ICPADS 2000, Iwate, Japan, July 4-7, 2000, pp. 455-462, 2000, IEEE Computer Society, 0-7695-0568-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Directed weighted graph, critical cycle, optimum branching, bit-serial processing, associative parallel processor, time complexity |
18 | Colin O'Halloran |
Issues for the Automatic Generation of Safety Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000, pp. 277-280, 2000, IEEE Computer Society, 0-7695-0710-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Automatic code generation, safety critical |
18 | Jean Fonlupt, Ali Ridha Mahjoub |
Critical Extreme Points of the 2-Edge Connected Spanning Subgraph Polytope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings, pp. 166-182, 1999, Springer, 3-540-66019-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
2-edge connected graph, critical extreme point, Polytope, cut |
18 | Zhongwei Xu, Fangmei Wu |
A Novel Testing Approach for Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 251-255, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Software-critical software, software testing, interlocking |
18 | Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary |
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Thirteenth Workshop on Parallel and Distributed Simulation, PADS '99, Atlanta, GA, USA, May 1-4, 1999, pp. 20-28, 1999, IEEE Computer Society, 0-7695-0155-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ATM network modeling, conservative PDES, optimistic PDES, Chandy-Misra-Bryant algorithm, time parallelism, Critical Channel Traversing algorithm, parallel simulation |
18 | Jeffrey M. Thompson, Mats Per Erik Heimdahl |
An Integrated Development Environment for Prototyping Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), Clearwater, Florida, USA, June 16-18, 1999, pp. 172-177, 1999, IEEE Computer Society, 0-7695-0246-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Specification-based Prototyping, Software Engineering, Embedded Systems, Safety-critical Systems, RSML |
18 | Beth Plale, Karsten Schwan |
Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31 - June 4, 1999, pp. 163-170, 1999, IEEE Computer Society, 0-7695-0222-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
run-time detection, distributed and parallel computing, safety-critical systems, temporal queries, on-line monitoring |
18 | Weiwei Li, Zhongwei Xu, Yan Jin |
An Approach for Testing Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 4-6 March 1999, Ann Arbor, MI, USA, pp. 180-183, 1999, IEEE Computer Society, 0-7695-0104-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Failure Severity Level, Failure Frequency, Integrity Level, Safety-Critical Software, Software Safety, Software Validation |
18 | Mehmet Sahinoglu, Edward Chow |
Empirical-Bayesian Availability Indices of Safety & Time Critical Software Systems with Corrective Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 16-17 December 1999, Hong Kong, pp. 84-, 1999, IEEE Computer Society, 0-7695-0371-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Empirical Bayesian, Time-Critical, Availability, Safety, mle, Corrective Maintenance |
18 | Yoshihisa Shinagawa, Tosiyasu L. Kunii |
Unconstrained Automatic Image Matching Using Multiresolutional Critical-Point Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(9), pp. 994-1010, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
critical-point filters, volume rendering, Image matching, multiresolution, morphing, nonlinear filters, singularity, homotopy, image interpolation |
18 | Sandrine Barberan, Frederic Duvivier |
Management of Critical Areas and Defectivity Data for Yield Trend Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 13th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '98), 2-4 November 1998, Austin, TX, USA, Proceedings, pp. 17-, 1998, IEEE Computer Society, 0-8186-8832-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
critical areas, defect analysis, yield modeling |
18 | Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam |
Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings, pp. 32-37, 1997, IEEE Computer Society, 0-8186-7971-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
problem specifications, Safety-critical systems, safety analysis, environment modeling, medical devices, requirements acquisition |
18 | Peter Bjørn-Jørgensen, Jan Madsen |
Critical path driven cosynthesis for heterogeneous target architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Fifth International Workshop on Hardware/Software Codesign, CODES/CASHE 1997, March 24-26, 1997, Braunschweig, Germany, pp. 15-19, 1997, IEEE Computer Society, 0-8186-7895-X. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Sandra Levasseur, Frederic Duvivier |
Application of a yield model merging critical areas and defectivity to industrial products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 1997 Workshop on Defect and Fault-Tolerance in VLSI Systems (DFT '97), 20-22 October 1997, Paris, France, pp. 11-19, 1997, IEEE Computer Society, 0-8186-8168-3. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Lisa Higham, Jalal Kawash |
Critical Sections and Producer/Consumer Queues in Weak Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1997 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '97), 18-20 December 1997, Taipei, Taiwan, pp. 56-63, 1997, IEEE Computer Society, 0-8186-8259-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
critical section problem, producer/consumer problem, non-sequential systems, TSO, distributed shared memory, PSO, memory consistency models |
18 | Gérard Le Lann |
A Methodology for Designing and Dimensioning Critical Complex Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 332-, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Tim M. Bull |
Comprehension of Safety-Critical Systems Using Domain-Specific Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPC ![In: 4th International Workshop on Program Comprehension (WPC '96), March 29-31, 1996, Berlin, Germany, pp. 108-122, 1996, IEEE Computer Society, 0-8186-7283-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Program Transformations, Domain-Specific Languages, Safety-Critical Systems |
18 | David G. Hendry |
Display-Based Problems in Spreadsheets: A Critical Incident and a Design Remedy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 284-290, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Jie Wang 0008, Keith W. Ross |
Asymptotic analysis for closed multiclass queueing networks in critical usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 16(1-2), pp. 167-191, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
critical usage, Queueing networks, asymptotic analysis |
18 | John C. Knight, Bev Littlewood |
Guest Editors' Introduction: Critical Task of Writing Dependable Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(1), pp. 16-20, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software |
18 | John M. Rushby, Friedrich W. von Henke |
Formal Verification of Algorithms for Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(1), pp. 13-23, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè |
A Unified High-Level Petri Net Formalism for Time-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 160-172, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Abhishek Bhattacharjee, Margaret Martonosi |
Thread criticality predictors for dynamic performance, power, and resource management in chip multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 36th International Symposium on Computer Architecture (ISCA 2009), June 20-24, 2009, Austin, TX, USA, pp. 290-301, 2009, ACM, 978-1-60558-526-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
intel tbb, thread criticality prediction, parallel processing, caches, dvfs |
18 | Xianhang Zhang, Masahiro Takatsuka |
Put That There NOW: Group Dynamics of Tabletop Interaction under Time Pressure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tabletop ![In: Second IEEE International Workshop on Horizontal Interactive Human-Computer Systems (Tabletop 2007), October 10-12 2007, Newport, Rhode Island, USA, pp. 37-43, 2007, IEEE Computer Society, 0-7695-3013-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Shing-Tsaan Huang, Ying-Sung Huang, Su-Shen Hung |
Alternators on uniform rings of odd size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 16(4), pp. 263-268, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Self-stabilization, Graph coloring, Clock synchronization, Concurrent processes, Alternator |
18 | Ha Yoon Song, Junghwan Kim, Kyun Rak Chong |
An Analytical Model of Scheduling for Conservative Parallel Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29 - October 2, 2002, Proceedings, pp. 191-198, 2002, Springer, 3-540-44296-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Srikanth T. Srinivasan, Roy Dz-Ching Ju, Alvin R. Lebeck, Chris Wilkerson |
Locality vs. criticality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 28th Annual International Symposium on Computer Architecture, ISCA 2001, Göteborg, Sweden, June 30-July 4, 2001, pp. 132-143, 2001, ACM, 0-7695-1162-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Systems Application Architecture |
17 | Yuuri 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](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 16th International Symposium on Field Programmable Gate Arrays, FPGA 2008, Monterey, California, USA, February 24-26, 2008, pp. 257, 2008, ACM, 978-1-59593-934-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FPGA, routing, variation, yield enhancement |
17 | Yuuri Sugihara, Yohei Kume, Kazutoshi Kobayashi, Hidetoshi Onodera |
Performance optimization by track swapping on critical paths utilizing random variations for FPGAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008, pp. 503-506, 2008, IEEE, 978-1-4244-1961-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ryan Johnson 0001, Ippokratis Pandis, Anastasia Ailamaki |
Critical sections: re-emerging scalability concerns for database storage engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaMoN ![In: 4th Workshop on Data Management on New Hardware, DaMoN 2008, Vancouver, BC, Canada, June 13, 2008, pp. 35-40, 2008, ACM, 978-1-60558-184-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ilia Polian, Damian Nowroth, Bernd Becker 0001 |
Identification of Critical Errors in Imaging Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 13th IEEE International On-Line Testing Symposium (IOLTS 2007), 8-11 July 2007, Heraklion, Crete, Greece, pp. 201-202, 2007, IEEE Computer Society, 0-7695-2918-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Low-cost on-line test, Selective hardening, Imaging applications, Error tolerance |
17 | Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini |
Evaluation of Critical Infrastructures: Challenges and Viable Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], pp. 52-77, 2007, Springer, 978-3-540-85570-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yoshiteru Ishida |
A Critical Phenomenon in a Self-repair Network by Mutual Copying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II, pp. 86-92, 2005, Springer, 3-540-28895-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | M. Schulz |
Extracting Critical Path Graphs from MPI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26 - 30, 2005, Boston, Massachusetts, USA, pp. 1-10, 2005, IEEE Computer Society, 0-7803-9485-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Qinan Hu, Haihua Pan, Chunyu Kit |
An Example-Based Study on Chinese Word Segmentation Using Critical Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP ![In: Natural Language Processing - IJCNLP 2004, First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers, pp. 714-722, 2004, Springer, 3-540-24475-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Henryk Krawczyk, Tomasz Madajczak |
Optimal Programming of Critical Sections in Modern Network Processors under Performance Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 7-10 September 2004, Dresden, Germany, pp. 25-30, 2004, IEEE Computer Society, 0-7695-2080-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Elgebaly, Manoj Sachdev |
Efficient adaptive voltage scaling system through on-chip critical path emulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2004 International Symposium on Low Power Electronics and Design, 2004, Newport Beach, California, USA, August 9-11, 2004, pp. 375-380, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
low-power, CMOS, adaptive voltage scaling |
17 | Ravi Rajwar, Alain Kägi, James R. Goodman |
Inferential queueing and speculative push for reducing critical communication latencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003, pp. 273-284, 2003, ACM, 1-58113-733-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
inferential queueing, synchronization, data forwarding |
17 | Paul Barford, Mark Crovella |
Critical path analysis of TCP transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 9(3), pp. 238-248, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
World Wide Web, performance analysis, TCP, HTTP, network measurements |
17 | László Lipták, László Lovász 0001 |
Critical Facets of the Stable Set Polytope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 21(1), pp. 61-88, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (2000) Classes: 05C69, 90C57 |
17 | Evanthia Papadopoulou |
Critical area computation for missing material defects in VLSIcircuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(5), pp. 583-597, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
|
|