|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14454 occurrences of 5938 keywords
|
|
|
Results
Found 21153 publication records. Showing 21145 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Bert Willaert, Emmanuel B. Vander Poorten, Dominiek Reynaerts, Hendrik Van Brussel |
A Pragmatic Method for Stable Stiffness Reflection in Telesurgery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroHaptics ![In: Haptics: Perception, Devices and Scenarios, 6th International Conference, EuroHaptics 2008, Madrid, Spain, June 10-13, 2008, Proceedings, pp. 73-82, 2008, Springer, 978-3-540-69056-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Telesurgery, Hard Contact, Stability, Teleoperation |
27 | Dan Gutfreund, Ronen Shaltiel, Amnon Ta-Shma |
If NP Languages are Hard on the Worst-Case, Then it is Easy to Find Their Hard Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 16(4), pp. 412-441, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
68Q17, 68Q15, 94A60, Subject classification. 68Q10 |
27 | Dan Gutfreund, Ronen Shaltiel, Amnon Ta-Shma |
If NP Languages are Hard on the Worst-Case Then It is Easy to Find Their Hard Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 20th Annual IEEE Conference on Computational Complexity (CCC 2005), 11-15 June 2005, San Jose, CA, USA, pp. 243-257, 2005, IEEE Computer Society, 0-7695-2364-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Miki Namatame, Tomoyuki Nishioka, Muneo Kitajima |
Designing a Web Page Considering the Interaction Characteristics of the Hard-of-Hearing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 10th International Conference, ICCHP 2006, Linz, Austria, July 11-13, 2006, Proceedings, pp. 136-143, 2006, Springer, 3-540-36020-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Jin-yi Cai, Ashish V. Naik, D. Sivakumar |
On the Existence of Hard Sparse Sets under Weak Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings, pp. 307-318, 1996, Springer, 3-540-60922-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Alireza Ejlali, Bashir M. Al-Hashimi, Petru Eles |
A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2009, Grenoble, France, October 11-16, 2009, pp. 193-202, 2009, ACM, 978-1-60558-628-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reliability, energy minimization, hard real-time systems |
25 | Daliang Zhang, Shudong Shi |
Hard Real Time Task Oriented Power Saving Scheduling Algorithm Based on DVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, 4th International Symposium, ISICA 2009, Huangshi, China, Ocotober 23-25, 2009, Proceedings, pp. 123-135, 2009, Springer, 978-3-642-04842-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
power saving scheduling, task division, hard real time |
25 | Krishna Kant Chintalapudi, Lakshmi Venkatraman |
On the Design of MAC Protocols for Low-Latency Hard Real-Time Discrete Control Applications over 802.15.4 Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 7th International Conference on Information Processing in Sensor Networks, IPSN 2008, St. Louis, Missouri, USA, April 22-24, 2008, pp. 356-367, 2008, IEEE Computer Society, 978-0-7695-3157-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Discrete Control, Low-power, MAC, Hard Real-time |
25 | Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva 0001, Meuse N. Oliveira Jr. |
A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2007, Copacabana, Rio de Janeiro, Brazil, September 3-6, 2007, pp. 312-317, 2007, ACM, 978-1-59593-816-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
petri nets, dynamic voltage scaling, formal models, hard real-time systems |
25 | Jaw-Wei Chi, Chia-Lin Yang, Yi-Jung Chen, Jian-Jia Chen |
Cache leakage control mechanism for hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 248-256, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cache leakage control policy, hard real-time system |
25 | Michael G. Bailey |
A web systems laboratory using portable hard drives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 8th Conference on Information Technology Education, SIGITE 2007, Destin, Florida, USA, October 18-20, 2007, pp. 107-112, 2007, ACM, 978-1-59593-920-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
portable hard drive, laboratory, web systems |
25 | Carmel Domshlak, Steven D. Prestwich, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Hard and soft constraints for reasoning about qualitative conditional preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 12(4-5), pp. 263-285, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Hard and Soft Constraints, CP-nets, Preferences |
25 | Fred A. Bower, Derek Hower, Mahmut Yilmaz, Daniel J. Sorin, Sule Ozev |
Applying architectural vulnerability Analysis to hard faults in the microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS/Performance ![In: Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS/Performance 2006, Saint Malo, France, June 26-30, 2006, pp. 375-376, 2006, ACM, 1-59593-319-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hard-fault tolerance, reliability, computer architecture |
25 | Davide Falessi, Guido Pennella, Giovanni Cantone |
Experiences, Strategies and Challenges in Adapting PVM to VxWorks™ Hard Real-Time Operating System, for Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 12th European PVM/MPI Users' Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings, pp. 209-216, 2005, Springer, 3-540-29009-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Open Source Software (OSS), Safety-Critical Software (SCS), Embedded Hard Real-Time (HRT) Distributed Systems, Experimental Software Engineering (ESE), Parallel Virtual Machine (PVM) |
25 | Yuri M. Suhov, Utkir A. Rozikov |
A Hard-Core Model on a Cayley Tree: An Example of a Loss Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 46(1-2), pp. 197-212, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Cayley trees, nearest-neighbor exclusion, hard core, Gibbs measures, translation invariant measures, periodic measures, splitting measures, extreme Gibbs measures, loss networks |
25 | Christos Kloukinas |
Data-Mining Synthesised Schedulers for Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 14-23, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
scheduler synthesis, data-mining, Software engineering, schedulability analysis, hard real-time systems, decision-tree induction |
25 | Marty Humphrey, John A. Stankovic |
Predictable Threads for Dynamic, Hard Real-Time Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(3), pp. 281-296, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
threads, Hard real-time systems, multiprocessing, real-time operating systems |
25 | Stefan M. Petters, Georg Färber |
Making Worst Case Execution Time Analysis for Hard Real-Time Tasks on State of the Art Processors Feasible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 442-, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
WCET analyses, caches, hard real-time, control flow analysis, automated measurement |
25 | Giorgio C. Buttazzo, Fabrizio Sensini |
Optimal deadline assignment for scheduling soft aperiodic tasks in hard real-time environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy, pp. 39-48, 1997, IEEE Computer Society, 0-8186-8126-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
optimal deadline assignment, soft aperiodic tasks scheduling, hard real-time environments, earliest deadline first algorithm, full processor utilization, optimal aperiodic responsiveness, simulations, performance, computational complexity, complexity, application requirements, implementation complexity |
25 | Tai-Yi Huang, Jane W.-S. Liu, Jen-Yao Chung |
Allowing cycle-stealing direct memory access I/O concurrent with hard-real-time programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 422-429, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
cycle-stealing direct memory access, I/O concurrent, hard-real-time programs, bus cycles, straight-line sequence, cycle-stealing operations, real-time systems, fault tolerant computing, worst-case execution time, schedulability analysis, file organisation |
25 | Miodrag Potkonjak, Wayne H. Wolf |
Cost optimization in ASIC implementation of periodic hard-real time systems using behavioral synthesis techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 446-451, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
allocation algorithms, behavioral synthesis techniques, datapath synthesis criteria, multiple computational tasks, multiple-task examples, periodic hard-real time systems, real-time systems, high level synthesis, logic design, application specific integrated circuits, circuit CAD, circuit optimisation, cost optimization, rate-monotonic scheduling, task sharing, synthesis algorithm, ASIC implementation |
25 | Ismael Ripoll, Alfons Crespo, Ana García-Fornes |
An Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Dynamic-Priority Preemptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(6), pp. 388-400, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Dynamic scheduling theory, slack scheduling, soft aperiodic tasks, dynamic, hard real-time, feasibility analysis |
25 | Yunsheng Xiong, Peng Zhang, Yong Dou, Kele Xu, Xin Niu |
Focus on Hard Categories and Hard Examples: Remote Sensing Image Scene Classification via Expert Model and Hard Example Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Geosci. Remote. Sens. Lett. ![In: IEEE Geosci. Remote. Sens. Lett. 19, pp. 1-5, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | S. Shankar, R. Siddarth, R. Nithyaprakash, M. S. Uddin |
Wear prediction of hard carbon coated hard-on-hard hip implants using finite element method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Aided Eng. Technol. ![In: Int. J. Comput. Aided Eng. Technol. 10(4), pp. 440-456, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Chunming Shi 0003, Adrian David Cheok |
Performance comparison of fused soft control/hard observer type controller with hard control/hard observer type controller for switched reluctance motors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 32(2), pp. 99-112, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Ethan Schuchman, T. N. Vijaykumar |
BlackJack: Hard Error Detection with Redundant Threads on SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 327-337, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Kiduk Yang, Ning Yu 0005, Hui Zhang 0069, Shahrier Akram, Ivan Record |
WIDIT: Integrated Approach to HARD Topic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIRS ![In: Information Retrieval Technology, Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006, Proceedings, pp. 649-658, 2006, Springer, 3-540-45780-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Fred A. Bower, Daniel J. Sorin, Sule Ozev |
A Mechanism for Online Diagnosis of Hard Faults in Microprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-38 2005), 12-16 November 2005, Barcelona, Spain, pp. 197-208, 2005, IEEE Computer Society, 0-7695-2440-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Alimujiang Yiming, Toshio Eisaka |
Support Industrial Hard Real-Time Traffic with Switched Ethernet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings, pp. 671-682, 2005, Springer, 3-540-30881-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | John Thornton 0001, Stuart Bain, Abdul Sattar 0001, Duc Nghia Pham |
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings, pp. 603-614, 2002, Springer, 3-540-00197-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Yumei Huo, Joseph Y.-T. Leung, Xin Wang |
Integrated Production and Delivery Scheduling with Disjoint Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications, Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings, pp. 471-482, 2009, Springer, 978-3-642-02025-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Perishable goods, Parallel and identical machines, NP-hard and strong NP-hard, Fully polynomial time approximation schemes, Single machine |
23 | Bianca Schroeder, Garth A. Gibson |
Understanding disk failure rates: What does an MTTF of 1, 000, 000 hours mean to you? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 3(3), pp. 8:1-8:31, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Hard drive replacements, annual failure rates, annual replacement rates, datasheet MTTF, failure correlation, hard drive failure, infant mortality, storage reliability, time between failure, wear-out, MTTF |
23 | Shang-Hua Teng, F. Frances Yao |
Approximating Shortest Superstrings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 158-165, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
superstring, shortest superstrings, Shortest Superstring Problem, approximation algorithms, data compression, NP-hard, DNA sequencing, MAX SNP-hard |
22 | Sergio Cabello, Bojan Mohar |
Adding one edge to planar graphs makes crossing number hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 68-76, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
NP-hard, graph drawing, planar graphs, graph embedding, crossing number, topological graph theory |
22 | Yann Riche, Nathalie Henry Riche, Petra Isenberg, Anastasia Bezerianos |
Hard-to-use interfaces considered beneficial (some of the time). ![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. 2705-2714, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
easy-to-use, hard-to-use, usability, user interfaces, collaboration, communication, user experience |
22 | Nobuhito Yamamoto, Tomoyuki Nishioka, Syoko Shiroma |
Building Problem Spaces for Deaf and Hard of Hearing Students' Spatial Cognition in a Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (7) ![In: Universal Access in Human-Computer Interaction. Applications and Services, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III, pp. 167-175, 2009, Springer, 978-3-642-02712-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hyperlogo, Deaf and Hard of hearing, Turtle graphics, Programming Languages, Spatial Cognition, Communication tool |
22 | Anna Carpenter Cavender, Jeffrey P. Bigham, Richard E. Ladner |
ClassInFocus: enabling improved visual attention strategies for deaf and hard of hearing students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2009, Pittsburgh, Pennsylvania, USA, October 25-28, 2009, pp. 67-74, 2009, ACM, 978-1-60558-558-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deaf and hard of hearing users, multimedia conferencing technology, classroom technology |
22 | John M. Hitchcock, María López-Valdés, Elvira Mayordomo |
Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 471-497, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Effective dimension, Scaled dimension, Turing-hard sets, Kolmogorov complexity |
22 | Robert W. Irving, David F. Manlove |
Approximation algorithms for hard variants of the stable marriage and hospitals/residents problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 16(3), pp. 279-292, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Weak stability, Approximation algorithms, NP-hard problems, Stable matching |
22 | Laura Cruz Reyes, Diana Maritza Nieto-Yáñez, Pedro Tomás-Solis, Guadalupe Castilla Valdez |
Solving Bin Packing Problem with a Hybridization of Hard Computing and Soft Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovations in Hybrid Intelligent Systems ![In: Innovations in Hybrid Intelligent Systems, pp. 223-230, 2008, Springer, 978-3-540-74971-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hard computing, genetic algorithms, soft computing, hybrid intelligent system, bin packing problem |
22 | Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro |
Towards a model-driven engineering approach for developing embedded hard real-time software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 308-314, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DSL engineering, embedded hard real-time systems, tool-based approaches, petri nets, model-driven engineering, software synthesis |
22 | Robert J. Hall 0001 |
Rteq: modeling and validating infinite-state hard-real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 481-484, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GSTView, ISAT, OMML, openmodel, validation, reactive system, hard real time |
22 | Amin Coja-Oghlan, Sven Oliver Krumke, Till Nierhoff |
A Hard Dial-a-Ride Problem that is Easy on Average. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 8(3), pp. 197-210, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
approximation algorithm, NP-hard, average-case analysis |
22 | Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima |
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2005, Florianolpolis, Brazil, September 4-7, 2005, pp. 98-103, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
embedded hard real-time systems, hardware/software codesign methodologies, software synthesis |
22 | Jens Gramm, Jiong Guo, Falk Hüffner, Rolf Niedermeier |
Automated Generation of Search Tree Algorithms for Hard Graph Modification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 39(4), pp. 321-347, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Graph modification, Search tree algorithms, Automated development and analysis of algorithms, Exact algorithms, NP-hard problems, Algorithm engineering |
22 | Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima |
A formal software synthesis approach for embedded hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2004, Pernambuco, Brazil, September 7-11, 2004, pp. 163-168, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded hard real-time systems, hardware/software codesign methodologies, software synthesis |
22 | George Marconi de Araujo Lima, Alan Burns 0001 |
An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(10), pp. 1332-1346, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
priority assignment algorithm, fault tolerance, schedulability analysis, Hard real-time systems |
22 | Guillem Bernat, Antoine Colin, Stefan M. Petters |
WCET Analysis of Probabilistic Hard Real-Time System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), Austin, Texas, USA, December 3-5, 2002, pp. 279-288, 2002, IEEE Computer Society, 0-7695-1851-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
worst case execution time, probabilistic analysis, hard real-time, execution profiles |
22 | José L. Pérez-Córdoba, Antonio J. Rubio, Juan M. López-Soler, M. Carmen Benítez |
Hard-Decision in COVQ over Waveform Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Data Compression Conference, DCC 2000, Snowbird, Utah, USA, March 28-30, 2000., pp. 53-62, 2000, IEEE Computer Society, 0-7695-0592-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
COVQ, Gaussian channels, flat-fading Rayleigh channels, hard-decision, diversity techniques, PSK and QAM modulation |
22 | Alan A. Bertossi, Luigi V. Mancini, Federico Rossini |
Fault-Tolerant Rate-Monotonic First-Fit Scheduling in Hard-Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(9), pp. 934-945, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Fault tolerance, multiprocessor systems, hard-real-time systems, periodic tasks, rate-monotonic scheduling, task replication |
22 | M. A. El-Gamal, Mohamed Fathy Abu El-Yazeed |
A Combined Clustering and Neural Network Approach for Analog Multiple Hard Fault Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 14(3), pp. 207-217, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
multiple hard faults, fault clustering, learning vector quantization neural networks, feature selection, analog circuits, fault classification |
22 | Michael E. Thomadakis, Jyh-Charn Liu |
On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, December 1-3, 1999, pp. 148-151, 1999, IEEE Computer Society, 0-7695-0475-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Hard Real-Time Tasks, Sporadic, Aperiodic Scheduling, Idle-Capacity Management, FPF/LDL Schedules, Task Relocation, Periodic, Fixed Priority Preemptive Scheduling |
22 | Tarek F. Abdelzaher, Kang G. Shin |
Comment on "A Pre-Run-Time Scheduling Algorithm for Hard Real-Time Systems''. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(9), pp. 599-600, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Pre-run-time scheduling, branch and bound scheduling algorithm, multiprocessors, hard real-time systems, precedence constraints |
22 | Matthew Clegg, Keith Marzullo |
A low-cost processor group membership protocol for a hard real-time distributed system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 90-98, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
processor group membership protocol, hard real-time distributed system, failure detection latency, processor time, bounded tax, broadcast message traffic, protocols, schedulability analysis, message complexity, shared resources, network bandwidth |
22 | Oscar González 0002, H. Shrikumar, John A. Stankovic, Krithi Ramamritham |
Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 79-89, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
adaptive fault tolerance, dynamic hard real-time scheduling, static redundancy allocation, variable environments, redundancy strategy, radar tracking software, AWACS, early warning aircraft, timing-centric performance metric, quality of service, fault tolerant computing, timing constraints, temporal constraints, resource constraints, QoS guarantees, graceful degradation |
22 | Javier Orozco, Ricardo Cayssials, Jorge Santos 0002, Edgardo Ferro |
Precedence constraints in hard real-time distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy, pp. 33-38, 1997, IEEE Computer Society, 0-8186-8126-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hard real-time distributed systems, multitask-multiprocessor systems, taxonomic genus, tentative assignment, formally proved method, tentative assignments, real-time systems, NP-complete problem, precedence constraints |
22 | Robert Eigenmann, Josef A. Nossek |
Modification of Hard-Limiting Multilayer Neural Networks for Confidence Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 1087-1091, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hard limiting neural networks, piecewise-linear decision boundaries, Confidence, probability density function |
22 | Alan T. Krantz |
Analysis of an Efficient Algorithm for the Hard-Sphere Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 6(3), pp. 185-209, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hard-sphere, manybody problem, algorithm, discrete simulation |
22 | Chang-Gun Lee, Young-Kuk Kim, Sang Hyuk Son, Sang Lyul Min, Chong-Sang Kim |
Efficiently supporting hard/soft deadline transactions in real-time database systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 74-80, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hard/soft deadline transactions, temporally valid data objects, soft-deadlines, real-time systems, timing constraints, temporal consistency, real-time database systems, database operations, implementation complexity |
22 | Joshua Etkin, José Fridman |
An Algorithm for Scheduling Prioritized Tasks in a Hard Real-Time Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 69-76, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
prioritized tasks, hard real-time environment, processor scheduling, dynamically scheduling, search tree, event-driven simulation, priority ordering |
22 | Paulo Roberto Pierri Tepedino, Tereza G. Kirner |
Specification and design of distributed hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 280-287, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
distributed hard real-time systems, pre run time scheduling, HRTS, real-time systems, formal specification, graph theory, specification, distributed processing, software design, integrated approach, graph-based model |
22 | Hermann Kopetz |
Why time-triggered architectures will succeed in large hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 2-9, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
large hard real-time systems, encapsulated subsystems, temporal firewalls, sparse time base, replica determinism, time-triggered communication protocol, real-time systems, computational complexity, computer architecture, design principles, time-triggered architectures |
22 | Michael González Harbour, Mark H. Klein, John P. Lehoczky |
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(1), pp. 13-28, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
periodic task set, fixed-priority methods, serially executed subtasks, complex priority structure, nonpreemptible sections, scheduling, schedulability, real-time systems, robots, robotics, message passing, interrupts, interrupts, timing analysis, execution time, hard real-time systems, fixed-priority scheduling, precedence constraints, periodic tasks, message-passing systems, synchronization protocols, uniprocessor |
22 | Peter Eades, Sue Whitesides |
The Realization Problem for Euclidean Minimum Spanning Trees is NP-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Tenth Annual Symposium on Computational Geometry, Stony Brook, New York, USA, June 6-8, 1994, pp. 49-56, 1994, ACM, 0-89791-648-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
tree, NP-hard, spanning tree, graph drawing, graph layout |
22 | Jia Xu, David Lorge Parnas |
On Satisfying Timing Constraints in Hard-Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(1), pp. 70-84, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
pre-run-time scheduling, mathematical scheduling problems, scheduling, real-time systems, timing constraints, operating systems (computers), hard-real-time systems |
22 | Terry Shepard, J. A. Martin Gagné |
A Pre-Run-Time Scheduling Algorithm For Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(7), pp. 669-677, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
pre-run-time scheduling algorithm, process sequencing, multiprocessor applications, preemptable processes, arbitrary precedence, exclusion constraints, branch-and-bound implicit enumeration technique, F-18 mission computer operational flight program, scheduling, real-time systems, multiprocessing systems, deadlines, computation times, hard real-time systems, aerospace computing, release times, feasible schedule, timing specifications |
22 | Michael L. Dertouzos, Aloysius K. Mok |
Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(12), pp. 1497-1506, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
hard-real-time task scheduling, scheduling game representation, a priori knowledge, mutual exclusion constraints, scheduling, real-time systems, multiprocessing systems, multiprogramming, optimal scheduling, multiprocessor environment |
22 | Hung-Chang Du |
Distributing a database for Parallel Processing is NP-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 14(1), pp. 55-60, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
parallel Processing, database, NP-hard |
22 | Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang |
Concurrency control for real-time database systems with mixed transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 96-103, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
mixed transactions, data conflicts, optimistic concurrency control with broadcast commit, OCC-BC, hard real-time transactions, schedulability, concurrency control, concurrency control, real-time database systems |
22 | Hugh Anderson, Siau-Cheng Khoo |
Improving Responsiveness of Hard Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 13-20, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Chi-Jen Lu, Shi-Chun Tsai, Hsin-Lung Wu |
On the Complexity of Hard-Core Set Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 183-194, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Oguzhan Urhan, M. Kemal Güllü, Sarp Ertürk |
Modified phase-correlation based robust hard-cut detection with application to archive film. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 16(6), pp. 753-770, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Simin Dai, Elaheh Bozorgzadeh |
CAD Tool for FPGAs with Embedded Hard Cores for Design Space Exploration of Future Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 14th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2006), 24-26 April 2006, Napa, CA, USA, Proceedings, pp. 329-330, 2006, IEEE Computer Society, 0-7695-2661-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Emanuele Viola |
The complexity of constructing pseudorandom generators from hard functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 13(3-4), pp. 147-188, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
68Q01, Subject classification |
22 | Hongyu Guo, Herna L. Viktor |
Boosting with Data Generation: Improving the Classification of Hard to Learn Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 1082-1091, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Steven J. Vaughan-Nichols |
Hard Drive Technology Reaches a Turning Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 36(12), pp. 21-23, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Mikael Goldmann, Alexander Russell |
Spectral Bounds on General Hard Core Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings, pp. 614-625, 2000, Springer, 3-540-67141-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Ján Manuch |
Multiparty Communication Complexity: Very Hard Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 160-169, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Mark R. Beaumont, Chris North 0002, Bradley D. Hopkins, Ken Yiu |
Hard Disk Guard Based Policy Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011, pp. 157-160, 2011, IEEE Computer Society, 978-1-4244-9879-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
access control, information security, hard disks |
20 | Omer Khan, Sandip Kundu |
Thread Relocation: A Runtime Architecture for Tolerating Hard Errors in Chip Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 59(5), pp. 651-665, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hard-error tolerance, virtualization, Chip multiprocessor (CMP), hardware/software codesign, hypervisor |
20 | Stuart E. Schechter, Gabriel H. Loh, Karin Strauss, Doug Burger |
Use ECP, not ECC, for hard failures in resistive memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 37th International Symposium on Computer Architecture (ISCA 2010), June 19-23, 2010, Saint-Malo, France, pp. 141-152, 2010, ACM, 978-1-4503-0053-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hard failures, resistive memories, memory, error correction, phase change memory |
20 | Vipul Agarwal, Chiranjib Bhattacharyya, Thirumale Niranjan, Sai Susarla |
Discovering Rules from Disk Events for Predicting Hard Drive Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLA ![In: International Conference on Machine Learning and Applications, ICMLA 2009, Miami Beach, Florida, USA, December 13-15, 2009, pp. 782-786, 2009, IEEE Computer Society, 978-0-7695-3926-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hard drive failures, SMART, False alarm rate |
20 | Fagui Liu, Zexiang Wu, Weipeng Mai |
Renewal-Theory-Based Hard Disk Power Management Strategy Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 511-515, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dynamic power management for hard disk, strategy optimization, low-power, renewal theory |
20 | Hyun-Joo Kim, Jung-Guk Kim, Chun-Hyon Chang, Sunyoung Han, Shin Hue |
An Efficient Task Serializer for Hard Real-Time TMO Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 405-412, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Task Serializer, TMO, Hard Real-time Systems |
20 | Cameron Laird |
Taking a Hard-Line Approach to Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 40(3), pp. 13-15, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Encryption-enabled hard drives, information security, Data encryption |
20 | Laszlo Hars |
Discryption: Internal Hard-Disk Encryption for Secure Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 40(6), pp. 103-105, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Discryption, hard-disk encryption, security, data storage |
20 | Christo Angelov, Jesper Berthing |
Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal, pp. 145-154, 2006, Springer, 978-0-387-39361-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hard real-time distributed systems, actor-based architecture, signal-based communication, timed multitasking |
20 | Rajesh Garg, Nikhil Jayakumar, Sunil P. Khatri, Gwan Choi |
A design approach for radiation-hard digital electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 773-778, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
radiation-hard, SEU |
20 | Maria A. Osorio, German Cuaya-Simbro |
Hard Problem Generation for MKP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: Sixth Mexican International Conference on Computer Science (ENC 2005), 26-30 September 2005, Puebla, Mexico, pp. 290-297, 2005, IEEE Computer Society, 0-7695-2454-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Multdimensional Knapsack Problem, Hard Problems Generation, Integer Programming |
20 | Flavius Gruian |
Hard real-time scheduling for low-energy using stochastic data and DVS processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2001 International Symposium on Low Power Electronics and Design, 2001, Huntington Beach, California, USA, 2001, pp. 46-51, 2001, ACM, 1-58113-371-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
scheduling, low-energy, hard real-time, RTOS |
20 | Nicolas J. Cerf, Lov K. Grover, Colin P. Williams |
Nested Quantum Search and NP-Hard Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(4/5), pp. 311-338, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Combinatorial search problems, Quantum computation, NP-hard problems, Quantum algorithms |
20 | Byung-Kyu Choi, Riccardo Bettati |
Efficient resource management for hard real-time communication over differentiated services architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 119-126, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
hard real-time communication, differentiated services architectures, sink trees, admission probability, link resource utilization, resource allocation, resource management, heuristic algorithm, NP-complete problem, resource reservation, computer network management, telecommunication services, simulation experiments |
20 | Sijing Zhang, E. Stewart Lee |
Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 120-127, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Hard real-time communication, timed token medium access control protocol, synchronous bandwidth allocation (SBA), global/local SBA schemes, FDDI networks, synchronous messages |
20 | Stefan M. Petters, Annette Muth, Thomas Kolloch, Thomas Hopfner, Franz Fischer, Georg Färber |
The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time 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. 100-107, 1999, IEEE Computer Society, 0-7695-0246-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
rapid prototyping, timing constraints, schedulability analysis, SDL, design automation, hard real-time, WCET-analysis |
20 | Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan |
Transaction integration for reusable hard real-time components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 166-175, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
transaction integration, reusable hard real time components, end to end timing requirements, framework based approach, data flow path, component interfaces, placeholders, reusable real time components, software reusability |
20 | Michelle Gower, Ralph W. Wilkerson |
R-by-C Crozzle: an NP-hard problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1996 ACM Symposium on Applied Computing, SAC'96, Philadelphia, PA, USA, February 17-19, 1996, pp. 73-76, 1996, ACM, 0-89791-820-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Crozzle, complexity, NP-hard |
20 | Carsten Rössner, Jean-Pierre Seifert |
Approximating Good Simultaneous Diophantine Approximations Is Almost NP-Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings, pp. 494-505, 1996, Springer, 3-540-61550-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
2-prover 1-round interactive proof-systems, computational complexity, approximation algorithm, NP-hard, probabilistically checkable proofs, Diophantine approximation |
20 | Tullio Vardanega |
Tool support for the construction of statically analysable hard real-time Ada systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 129-135, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
artificial satellites, statically analysable hard real time Ada systems, fixed priority process based preemptive scheduling, new generation software intensive satellite control systems, preemptive priority based scheduling, mature static analysis techniques, worst case response time analysis models, Ada programming model, worst case response time analysis tools, on-board control systems, cyclic scheduling |
20 | Mitsunori Ogihara |
Sparse P-Hard Sets Yield Space-Efficient Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 354-361, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
sparse P-hard sets, space-efficient algorithms, logspace many-one reductions, poly-logarithmic space-computable many-one reductions, computational complexity |
20 | Keumog Ahn, Sartaj Sahni |
NP-Hard Module Rotation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(12), pp. 1506-1510, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
NP-hard module rotation problems, circuit modules, performance, computational complexity, circuit layout CAD, circuit layout CAD, routability |
Displaying result #201 - #300 of 21145 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|