|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 175 occurrences of 123 keywords
|
|
|
Results
Found 113 publication records. Showing 113 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Jianxin Wang 0001, Ling Chen 0003, Weiwei Zhou |
Design and Implementation of an Internet-Based Platform for C Language Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2008, 7th International Conference, Jinhua, China, August 20-22, 2008. Proceedings, pp. 187-195, 2008, Springer, 978-3-540-85032-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
logic error checking, compile error checking, C language learning, distance education |
28 | Selahattin Sayil |
Optical Contactless Probing: An All-Silicon, Fully Optical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 23(2), pp. 138-146, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
VLSI, testability, testing tools, error-checking, error-checking |
22 | Hung-Chuan Lai, Shi-Jinn Horng, Yong-Yuan Chen, Pingzhi Fan, Yi Pan 0001 |
A New Concurrent Detection of Control Flow Errors Based on DCT Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia, pp. 201-209, 2007, IEEE Computer Society, 0-7695-3054-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Kwondo Ma, Chandramouli N. Amarnath, Abhijit Chatterjee |
Error Resilient Transformers: A Novel Soft Error Vulnerability Guided Approach to Error Checking and Suppression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: IEEE European Test Symposium, ETS 2023, Venezia, Italy, May 22-26, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3634-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Shuichi Shinmori, Masaaki Hoda, Yoshiaki Koga |
Realization method of totally shelf - Checking error checking and correcting circuits for main memory systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 18(1), pp. 42-54, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
19 | W. Keith Moser, Mark H. Hansen, Patrick D. Miles, Barbara Johnson, Ronald E. McRoberts |
The Virtual Analyst Program: A Small Scale Data-Mining, Error-Analysis and Reporting Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 691-695, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automatic reports, forest inventory, North Central United States, data mining, error checking |
19 | Hung-Chuan Lai, Shi-Jinn Horng, Yung-Yuan Chen |
An Online Control Flow Check for VLIW Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 256-264, 2008, IEEE Computer Society, 978-0-7695-3448-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Linda A. Kovacs, Steven F. Gilli |
Extended microcode error checking on a pipelined machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 22nd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1989, Dublin, Ireland, August 14-16, 1989, pp. 83-87, 1989, ACM/IEEE, 0-89791-324-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Ming Gao, Hsiu-Ming Chang 0001, Peter Lisherness, Kwang-Ting (Tim) Cheng |
Time-Multiplexed Online Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 60(9), pp. 1300-1312, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
fault tolerance, Availability, built-in tests, error-checking |
14 | Manuel Barranco, Julián Proenza, Luís Almeida 0001 |
Boosting the Robustness of Controller Area Networks: CANcentrate and ReCANcentrate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 42(5), pp. 66-73, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
CAN protocol, Embedded systems, Network topology, Systems engineering, Controller area networks, Error checking, Real-time distributed systems, Buses |
14 | Basel Halak, Alexandre Yakovlev |
Fault-Tolerant Techniques to Minimize the Impact of Crosstalk on Phase Encoded Communication Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(4), pp. 505-519, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Asynchronous operation, reliability and VLSI, Simulation, Fault tolerance, Performance, crosstalk, communication channels, Error-checking, information redundancy |
14 | Egas Henes Neto, Gilson I. Wirth, Fernanda Lima Kastensmidt |
Mitigating Soft Errors in SRAM Address Decoders Using Built-in Current Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 24(5), pp. 425-437, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Reliability, Testing, Built-in tests, Error-checking |
14 | Rodney Van Meter, Kae Nemoto, W. J. Munro |
Communication Links for Distributed Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(12), pp. 1643-1653, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interconnections (Subsystems), Emerging technologies, Emerging technologies, Error-checking, Interconnection architectures |
14 | Egas Henes Neto, Ivandro Ribeiro, Michele G. Vieira, Gilson I. Wirth, Fernanda Lima Kastensmidt |
Using Bulk Built-in Current Sensors to Detect Soft Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 26(5), pp. 10-18, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Reliability, Built-in tests, Error-checking, Testing and Fault-Tolerance |
14 | Petros Oikonomakos, Mark Zwolinski |
On the Design of Self-Checking Controllers with Datapath Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(11), pp. 1423-1434, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, Reliability, testing, automatic synthesis, error-checking, redundant design |
14 | Chia-Chih Yen, Jing-Yang Jou |
An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(11), pp. 1356-1366, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
simulation, Verification, diagnosis, satisfiability, error checking |
14 | Gian Carlo Cardarilli, Marco Ottavi, Salvatore Pontarelli, Marco Re, Adelio Salsano |
Fault Localization, Error Correction, and Graceful Degradation in Radix 2 Signed Digit-Based Adders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(5), pp. 534-540, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fault tolerance, error checking, high-speed arithmetic |
14 | Ravishankar K. Iyer, Nithin Nakka, Zbigniew Kalbarczyk, Subhasish Mitra |
Recent Advances and New Avenues in Hardware-Level Reliability Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 25(6), pp. 18-29, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Reliability, Error-checking, Testing and Fault-Tolerance, Redundant design |
14 | Jason F. Cantin, Mikko H. Lipasti, James E. Smith 0001 |
The Complexity of Verifying Memory Coherence and Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(7), pp. 663-671, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
design styles, nonnumerical algorithms and problems, sequencing and scheduling, fault-tolerance, reliability, testing, shared memory, Hardware, theory of computation, error-checking, memory structures |
14 | Darshan D. Thaker, François Impens, Isaac L. Chuang, Rajeevan Amirtharajah, Frederic T. Chong |
Recursive TMR: Scaling Fault Tolerance in the Nanoscale Era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 22(4), pp. 298-305, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Fault tolerance, Emerging technologies, Error-checking, Redundant design |
14 | Cung Nguyen, G. Robert Redinbo |
Fault Tolerance Design in JPEG 2000 Image Compression System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(1), pp. 57-75, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Fault-tolerant source coding, JPEG 2000 standard, hardware reliability, weighted sum parity, data compression, Discrete Wavelet Transform (DWT), Soft errors, concurrent error detection, Huffman coding, error control codes, algorithm-based fault tolerance, error-checking |
14 | Dong-U Lee, Wayne Luk, John D. Villasenor, Peter Y. K. Cheung |
A Gaussian Noise Generator for Hardware-Based Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(12), pp. 1523-1534, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
simulation, error-checking, gate arrays, Algorithms implemented in hardware |
14 | Vladimir V. Saposhnikov, Alexej Dmitriev, Michael Gössel, Valerij V. Saposhnikov |
Self-dual parity checking-A new method for on-line testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 162-168, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
self-dual parity checking, self-dual complement, VLSI, logic testing, Boolean functions, Boolean function, integrated circuit testing, automatic testing, fault coverage, integrated logic circuits, online testing, error checking |
14 | Shambhu J. Upadhyaya, Bina Ramamurthy |
Concurrent Process Monitoring with No Reference Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(4), pp. 475-480, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
concurrent process monitoring, signature technique, compilation phase, signature checking, controllable latency, branch-free interval, error coverage, sequencing errors, fault tolerant computing, controllability, program testing, signature analysis, control flow graph, error checking, bit errors, watchdog processor, error latency |
14 | Nirmal R. Saxena, Edward J. McCluskey |
Linear Complexity Assertions for Sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(6), pp. 424-431, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data |
14 | Yoon-Hwa Choi, Miroslaw Malek |
A Fault-Tolerant Systolic Sorter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(5), pp. 621-624, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
VLSI sorter, fault-tolerant systolic sorter, permanent computation errors, error-checking code, redundant cells, single faulty cell, offline fault-testing, permanent stuck-at faults, testing, fault tolerant computing, reconfiguration, redundancy, integrated circuit testing, sorting, automatic testing, invariants, error detection codes, cellular arrays, algorithm-based fault tolerance, digital integrated circuits, hardware overhead, time overhead |
12 | Ismet Bayraktaroglu, Alex Orailoglu |
Concurrent test for digital linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(9), pp. 1132-1142, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Christodoulos Peltekis, Dionysios Filippas, Giorgos Dimitrakopoulos |
Error Checking for Sparse Systolic Tensor Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.10850, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Jinge Wu, Yunsoo Kim, Eva C. Keller, Jamie Chow, Adam P. Levine, Nikolas Pontikos, Zina M. Ibrahim, Paul Taylor, Michelle C. Williams, Honghan Wu |
Exploring Multimodal Large Language Models for Radiology Report Error-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.13103, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Peter R. Michael |
Error Checking Methodology to Verify PV Module Parameter Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
DOI RDF |
|
12 | Chang Meng, Jiajun Sun, Yuqi Mai, Weikang Qian |
MECALS: A Maximum Error Checking Technique for Approximate Logic Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023, pp. 1-6, 2023, IEEE, 978-3-9819263-7-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck |
SENA: Similarity-Based Error-Checking of Neural Activations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), pp. 724-731, 2023, IOS Press, 978-1-64368-436-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zheng Xu, Xinjie Zhou, Zhiqiang Xiao |
A Hardware Backup Dual-Core Lockstep for Error Checking and Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EITCE ![In: Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering, EITCE 2023, Xiamen, China, October 20-22, 2023, pp. 1357-1363, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Congcong Wang, Chen Wang, Jian Shen 0001, Pandi Vijayakumar, Md. Zakirul Alam Bhuiyan |
Fault-Tolerant Data Aggregation with Error-Checking for Smart Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC/PiCom/CBDCom/CyberSciTech ![In: IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2023, Abu Dhabi, United Arab Emirates, November 14-17, 2023, pp. 643-650, 2023, IEEE, 979-8-3503-0460-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Flávio R. S. Oliveira, Fernando B. Lima Neto |
Self-explanatory error checking capability for classifier-based Decision Support Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-CCI ![In: 2022 IEEE Latin American Conference on Computational Intelligence (LA-CCI), Montevideo, Uruguay, November 23-25, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8858-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Zhentong Shao, Qiaozhu Zhai, Yan Xu, Xiaohong Guan |
A Linear Probabilistic Optimal Power Flow Model with Linearization Error Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT Asia ![In: IEEE PES Innovative Smart Grid Technologies - Asia, ISGT Asia 2022, Singapore, November 1-5, 2022, pp. 170-174, 2022, IEEE, 979-8-3503-9966-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Renato Aguilera, Henry O. Sillin, Adam Z. Stieg, James K. Gimzewski |
Programmable Fading Memory in Atomic Switch Systems for Error Checking Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reservoir Computing ![In: Reservoir Computing - Theory, Physical Implementations, and Applications, pp. 273-303, 2021, Springer, 978-981-13-1686-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Nawei Zhong, Xiaoge Li, Long Qin |
Hybrid Chinese Grammar Error Checking Model Based on Transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPR ![In: AIPR 2021: 4th International Conference on Artificial Intelligence and Pattern Recognition, Xiamen, China, September 24 - 26, 2021, pp. 574-579, 2021, ACM, 978-1-4503-8408-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Simon S. Du, Yuping Luo, Ruosong Wang, Hanrui Zhang |
Provably Efficient Q-learning with Function Approximation via Distribution Shift Error Checking Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.06321, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Simon S. Du, Yuping Luo, Ruosong Wang, Hanrui Zhang |
Provably Efficient Q-learning with Function Approximation via Distribution Shift Error Checking Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada., pp. 8058-8068, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Nora Madi, Hend S. Al-Khalifa |
Grammatical Error Checking Systems: A Review of Approaches and Emerging Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDIM ![In: 2018 Thirteenth International Conference on Digital Information Management (ICDIM), Berlin, Germany, September 24-26, 2018, pp. 142-147, 2018, IEEE, 978-1-5386-5244-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Bo Guan, Xin Li |
An RSSI-based Wireless Sensor Network Localization Algorithm with Error Checking and Correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Online Eng. ![In: Int. J. Online Eng. 13(12), pp. 52-66, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
12 | Yanna Liu, Li Chen, Shenglin Tang |
一个面向任务图并行程序的错误检查工具 (Error Checking Tool for DAG-based Task Parallel Programs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 44(3), pp. 38-41, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Judith Willemijn Borghouts, Duncan P. Brumby, Anna L. Cox |
Batching, Error Checking and Data Collecting: Understanding Data Entry in a Financial Office. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSCW Exploratory Papers ![In: 15th European Conference on Computer Supported Cooperative Work, ECSCW 2017 - Exploratory Papers, Sheffield, UK, August 28 - September 1, 2017, pp. 91-101, 2017, European Society for Socially Embedded Technologies (EUSSET). The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Yuan-Yuan Lv, Yong-Li Deng, Ming-Liang Liu, Qi-Yong Lu |
Automatic Error Checking and Correction of Electronic Medical Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSDM ![In: Fuzzy System and Data Mining - Proceedings of FSDM 2015 [Shanghai, China, December 12-15, 2015], pp. 32-40, 2015, IOS Press, 978-1-61499-618-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Yue-Ru Chuang, Hsueh-Wen Tseng, Shiann-Tsong Sheu |
A Performance Study of Discrete-Error-Checking Scheme (DECS) with the Optimal Division Locations for IEEE 802.16-Based Multihop Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 62(12), pp. 2354-2365, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Matthew Heinsen Egan, Chris McDonald |
Reducing novice C programmers' frustration through improved runtime error checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Innovation and Technology in Computer Science Education conference 2013, ITiCSE '13, Canterbury, United Kingdom - July 01 - 03, 2013, pp. 322, 2013, ACM, 978-1-4503-2078-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Jarupa Vipoopinyo |
eXtensible business reporting language semantic error checking for accounting information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
12 | Julian Wolf 0002, Bernhard Fechner, Sascha Uhrig, Theo Ungerer |
Fine-grained timing and control flow error checking for hard real-time task execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, Karlsruhe, Germany, June 20-22, 2012, pp. 257-266, 2012, IEEE, 978-1-4673-2685-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Özgür Çobanoglu, Erkcan Özcan, Saleh Sultansoy, Gökhan Ünel |
OPUCEM: A library with error checking mechanism for computing oblique parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 182(8), pp. 1732-1743, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann |
Static deep error checking in large system applications using parfait. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, pp. 432-435, 2011, ACM, 978-1-4503-0443-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Xiaoyin Yao, Lawrence T. Clark, Dan W. Patterson, Keith E. Holbert |
Single event transient mitigation in cache memory using transient error checking circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICC ![In: IEEE Custom Integrated Circuits Conference, CICC 2010, San Jose, California, USA, 19-22 September, 2010, Proceedings, pp. 1-4, 2010, IEEE, 978-1-4244-5758-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Alun Thomas |
GMCheck: Bayesian error checking for pedigreegenotypes and phenotypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 21(14), pp. 3187-3188, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Samuel Z. Guyer, Calvin Lin |
Error checking with client-driven pointer analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 58(1-2), pp. 83-114, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Francisco Rodríguez 0003, Juan José Serrano |
Control Flow Error Checking with ISIS. ![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. 659-670, 2005, Springer, 3-540-30881-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | S. Karthik, H. G. Jayakumar |
Static Analysis: C Code Error Checking for Reliable and Secure Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEC (Prague) ![In: International Enformatika Conference, IEC'05, August 26-28, 2005, Prague, Czech Republic, CDROM, pp. 434-439, 2005, Enformatika, Çanakkale, Turkey, 975-98458-6-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
12 | Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto |
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 150-162, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Hui Dong, I. D. Chakares, Allen Gersho, Elizabeth M. Belding-Royer, Jerry D. Gibson |
Selective bit-error checking at the MAC layer for voice over mobile ad hoc networks with IEEE 802.11. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: 2004 IEEE Wireless Communications and Networking Conference , WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004, pp. 1240-1245, 2004, IEEE, 0-7803-8344-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Toni Badia, Angel Gil, Martí Quixal, Oriol Valentín |
NLP-enhanced Error Checking for Catalan Unrestricted Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Fourth International Conference on Language Resources and Evaluation, LREC 2004, May 26-28, 2004, Lisbon, Portugal, 2004, European Language Resources Association. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
12 | Weihua Luo, Zhensheng Luo, Xiaojin Gong |
Semantic error checking in automatic proofreading for Chinese texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: IEEE International Conference on Systems, Man and Cybernetics, Yasmine Hammamet, Tunisia, October 6-9, 2002 - Volume 2, pp. 5, 2002, IEEE, 0-7803-7437-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Yannis Kalfoglou, David Stuart Robertson 0001 |
Use of Formal Ontologies to Support Error Checking in Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Acquisition, Modeling and Management, 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999, Proceedings, pp. 207-224, 1999, Springer, 3-540-66044-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Ing-Ray Chen, I-Ling Yen |
Analysis of Probabilistic Error Checking Procedures on Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 38(5), pp. 348-354, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Ing-Ray Chen |
Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February 14-16, 1993, pp. 677-681, 1993, ACM, 0-89791-567-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Young-Jong Cho, Chong Kwan Un |
Window flow control with error-checking scheme in quasi-cut-through switching network with noisy channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 39(3), pp. 394-397, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
12 | Arthur B. Pyster, Amitava Dutta |
Error-checking Compilers and Portability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 8(1), pp. 99-108, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
12 | C. M. Thomson |
Error checking, tracing, and dumping in an ALGOL 68 checkout compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 12(7), pp. 106-111, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
12 | Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen |
Error checking with pointer variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, pp. 391-395, 1976, ACM, 978-1-4503-7489-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
12 | Thammavarapu R. N. Rao |
Error-Checking Logic for Arithmetic-Type Operations of a Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 17(9), pp. 845-849, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
12 | D. S. Henderson |
Residue class error checking codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM National Meeting ![In: Proceedings of the 16th ACM national meeting, ACM 1961, USA, pp. 132, 1961, ACM, 978-1-4503-7388-3. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
|
12 | William H. Kautz |
Unit-Distance Error-Checking Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRE Trans. Electron. Comput. ![In: IRE Trans. Electron. Comput. 7(2), pp. 179-180, 1958. The full citation details ...](Pics/full.jpeg) |
1958 |
DBLP DOI BibTeX RDF |
|
10 | Marcel Medwed, Jörn-Marc Schmidt |
A Generic Fault Countermeasure Providing Data and Program Flow Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDTC ![In: Fifth International Workshop on Fault Diagnosis and Tolerance in Cryptography, 2008, FDTC 2008, Washington, DC, USA, 10 August 2008, pp. 68-73, 2008, IEEE Computer Society, 978-0-7695-3314-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Seongwoo Kim, Arun K. Somani |
Area Efficient Architectures for Information Integrity in Cache Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 26th Annual International Symposium on Computer Architecture, ISCA 1999, Atlanta, Georgia, USA, May 2-4, 1999, pp. 246-255, 1999, IEEE Computer Society, 0-7695-0170-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Kevin M. Greenan, Ethan L. Miller |
Reliability mechanisms for file systems using non-volatile memory as a metadata store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea, pp. 178-187, 2006, ACM, 1-59593-542-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
file system reliability, online consistency checking, metadata, error correcting codes, non-volatile memory |
9 | Gordon B. Bell, Mikko H. Lipasti |
Skewed redundancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 17th International Conference on Parallel Architectures and Compilation Techniques, PACT 2008, Toronto, Ontario, Canada, October 25-29, 2008, pp. 62-71, 2008, ACM, 978-1-60558-282-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
distributed processing, error tolerance, memory-level parallelism |
9 | Yuan Zhang, Youren Wang, Shanshan Yang, Min Xie |
Design of a Cell in Embryonic Systems with Improved Efficiency and Fault-Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings, pp. 129-139, 2007, Springer, 978-3-540-74625-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Embryonic systems, Two-level self-repair, Extended hamming code, Fault tolerance of configuration memory, Cellular arrays |
9 | Parag K. Lala, Alvernon Walker |
On-Line Error Detectable Carry-Free Adder Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 16th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2001), 24-26 October 2001, San Francisco, CA, USA, Proceedings, pp. 66-71, 2001, IEEE Computer Society, 0-7695-1203-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
carry-free adder, signed binary digits, 1-out-of-3 code, on-line error detection |
9 | Bina Ramamurthy, Shambhu J. Upadhyaya, Bharat K. Bhargava |
Design and Analysis of an Integrated Checkpointing Recovery Scheme for Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 12(2), pp. 174-186, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed systems, Checkpointing, concurrent error detection, rollback recovery, message logging |
7 | Chong Hee Kim, Jean-Jacques Quisquater |
Fault Attacks for CRT Based RSA: New Attacks, New Results, and New Countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISTP ![In: Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems, First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007, Proceedings, pp. 215-228, 2007, Springer, 978-3-540-72353-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam |
HAIL: a language for easy and correct device access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 1-9, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers |
7 | Wenjing Rao, Alex Orailoglu, Ramesh Karri |
Fault Tolerant Arithmetic with Applications in Nanotechnology based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2004 International Test Conference (ITC 2004), October 26-28, 2004, Charlotte, NC, USA, pp. 472-478, 2004, IEEE Computer Society, 0-7803-8581-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | P. G. Moulton, M. E. Muller |
DITRAN - a compiler emphasizing diagnostics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 10(1), pp. 45-52, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
5 | Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah |
Backward-compatible constant-time exception-protected memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 71-80, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility |
5 | Ben Gavula, George Scheets, Keith A. Teague, Justin Weber |
The perceptual quality of melp speech over error tolerant IP networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 1633-1636, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | David A. Poplawski, Zachary Kurmas |
JLS: a pedagogically targeted logic design and simulation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008, pp. 314, 2008, ACM, 978-1-60558-078-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
jls, simulation, digital logic |
5 | Jeffrey Mark Siskind, Barak A. Pearlmutter |
First-class nonstandard interpretations by opening closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 71-76, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
lambda lifting, referential transparency |
5 | Gongye Zhou, Peng Chen |
RH-SCSI: A Reliable HyperSCSI Protocol for Networking Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE NAS ![In: International Conference on Networking, Architecture, and Storage, NAS 2007, 29-31 July 2007, Guilin, China, pp. 269-270, 2007, IEEE Computer Society, 0-7695-2927-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
5 | Jing Yu 0015, María Jesús Garzarán, Marc Snir |
Techniques for Efficient Software Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers, pp. 16-31, 2007, Springer, 978-3-540-85260-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
5 | Mark Grechanik |
Finding errors in components that exchange xml data. ![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. 264-273, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
schema validator, interoperability, program analysis, bisimulation, XML schema, symbolic execution |
5 | David A. Poplawski |
A pedagogically targeted logic design and simulation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCAE ![In: Proceedings of the 2007 Workshop on Computer Architecture Education, WCAE 2007, San Diego, California, USA, Saturday, June 9, 2007, pp. 1-7, 2007, ACM, 978-1-59593-797-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
logic simulation |
5 | Teck Bok Tok, Samuel Z. Guyer, Calvin Lin |
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings, pp. 17-31, 2006, Springer, 3-540-33050-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
5 | Vinton G. Cerf, Robert E. Kahn |
A protocol for packet network intercommunication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 35(2), pp. 71-82, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
5 | Sylvia C. Wong, Simon Miles, Weijian Fang, Paul Groth, Luc Moreau 0001 |
Provenance-Based Validation of E-Science Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings, pp. 801-815, 2005, Springer, 3-540-29754-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
5 | Krasimir Angelov, Simon Marlow |
Visual haskell: a full-featured haskell development environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 5-16, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
haskell development environment, visual studio |
5 | Wendy Bartlett, Lisa Spainhower |
Commercial Fault Tolerance: A Tale of Two Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 1(1), pp. 87-96, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, high availability, Computer systems implementation |
5 | Yuhua Luo, José Miguel Dias |
Development of a Cooperative Integration System for AEC Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, pp. 1, 2004, Springer, 3-540-23149-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Yannis Smaragdakis |
Program Generators and the Tools to Make Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings, pp. 19-20, 2004, Springer, 3-540-22791-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Steven J. Simske, Xiaofan Lin |
Creating Digital Libraries: Content Generation and Re-Mastering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIAL ![In: 1st International Workshop on Document Image Analysis for Libraries (DIAL 2004), 23-24 January 2004, Palo Alto, CA, USA, pp. 33-45, 2004, IEEE Computer Society, 0-7695-2088-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Yannis Smaragdakis |
Invited talk: program generators and the tools to make them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 7-8, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
safety guarantees, meta-programming, program generators |
5 | Charng-Da Lu, Daniel A. Reed |
Assessing Fault Sensitivity in MPI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 6-12 November 2004, Pittsburgh, PA, USA, CD-Rom, pp. 37, 2004, IEEE Computer Society, 0-7695-2153-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Ronald G. Minnich |
Give your bootstrap the boot: using the operating system to boot the operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2004 IEEE International Conference on Cluster Computing (CLUSTER 2004), September 20-23 2004, San Diego, California, USA, pp. 439-448, 2004, IEEE Computer Society, 0-7803-8694-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 113 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|