The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase error-checking (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1989 (16) 1991-2001 (16) 2002-2004 (15) 2005-2006 (20) 2007-2008 (17) 2009-2018 (15) 2019-2024 (14)
Publication types (Num. hits)
article(44) data(1) incollection(1) inproceedings(66) phdthesis(1)
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
28Jianxin Wang 0001, Ling Chen 0003, Weiwei Zhou Design and Implementation of an Internet-Based Platform for C Language Learning. Search on Bibsonomy ICWL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic error checking, compile error checking, C language learning, distance education
28Selahattin Sayil Optical Contactless Probing: An All-Silicon, Fully Optical Approach. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF VLSI, testability, testing tools, error-checking, error-checking
22Hung-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 PRDC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Kwondo Ma, Chandramouli N. Amarnath, Abhijit Chatterjee Error Resilient Transformers: A Novel Soft Error Vulnerability Guided Approach to Error Checking and Suppression. Search on Bibsonomy ETS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Shuichi Shinmori, Masaaki Hoda, Yoshiaki Koga Realization method of totally shelf - Checking error checking and correcting circuits for main memory systems. Search on Bibsonomy Syst. Comput. Jpn. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
19W. 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 DEXA Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic reports, forest inventory, North Central United States, data mining, error checking
19Hung-Chuan Lai, Shi-Jinn Horng, Yung-Yuan Chen An Online Control Flow Check for VLIW Processor. Search on Bibsonomy PRDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Linda A. Kovacs, Steven F. Gilli Extended microcode error checking on a pipelined machine. Search on Bibsonomy MICRO The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
14Ming Gao, Hsiu-Ming Chang 0001, Peter Lisherness, Kwang-Ting (Tim) Cheng Time-Multiplexed Online Checking. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2011 DBLP  DOI  BibTeX  RDF fault tolerance, Availability, built-in tests, error-checking
14Manuel Barranco, Julián Proenza, Luís Almeida 0001 Boosting the Robustness of Controller Area Networks: CANcentrate and ReCANcentrate. Search on Bibsonomy Computer The full citation details ... 2009 DBLP  DOI  BibTeX  RDF CAN protocol, Embedded systems, Network topology, Systems engineering, Controller area networks, Error checking, Real-time distributed systems, Buses
14Basel Halak, Alexandre Yakovlev Fault-Tolerant Techniques to Minimize the Impact of Crosstalk on Phase Encoded Communication Channels. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Asynchronous operation, reliability and VLSI, Simulation, Fault tolerance, Performance, crosstalk, communication channels, Error-checking, information redundancy
14Egas Henes Neto, Gilson I. Wirth, Fernanda Lima Kastensmidt Mitigating Soft Errors in SRAM Address Decoders Using Built-in Current Sensors. Search on Bibsonomy J. Electron. Test. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fault-tolerance, Reliability, Testing, Built-in tests, Error-checking
14Rodney Van Meter, Kae Nemoto, W. J. Munro Communication Links for Distributed Quantum Computation. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interconnections (Subsystems), Emerging technologies, Emerging technologies, Error-checking, Interconnection architectures
14Egas 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 IEEE Micro The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Reliability, Built-in tests, Error-checking, Testing and Fault-Tolerance
14Petros Oikonomakos, Mark Zwolinski On the Design of Self-Checking Controllers with Datapath Interactions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault tolerance, Reliability, testing, automatic synthesis, error-checking, redundant design
14Chia-Chih Yen, Jing-Yang Jou An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF simulation, Verification, diagnosis, satisfiability, error checking
14Gian 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 IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fault tolerance, error checking, high-speed arithmetic
14Ravishankar K. Iyer, Nithin Nakka, Zbigniew Kalbarczyk, Subhasish Mitra Recent Advances and New Avenues in Hardware-Level Reliability Support. Search on Bibsonomy IEEE Micro The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Reliability, Error-checking, Testing and Fault-Tolerance, Redundant design
14Jason F. Cantin, Mikko H. Lipasti, James E. Smith 0001 The Complexity of Verifying Memory Coherence and Consistency. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
14Darshan 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 IEEE Des. Test Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fault tolerance, Emerging technologies, Error-checking, Redundant design
14Cung Nguyen, G. Robert Redinbo Fault Tolerance Design in JPEG 2000 Image Compression System. Search on Bibsonomy IEEE Trans. Dependable Secur. Comput. The full citation details ... 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
14Dong-U Lee, Wayne Luk, John D. Villasenor, Peter Y. K. Cheung A Gaussian Noise Generator for Hardware-Based Simulations. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF simulation, error-checking, gate arrays, Algorithms implemented in hardware
14Vladimir V. Saposhnikov, Alexej Dmitriev, Michael Gössel, Valerij V. Saposhnikov Self-dual parity checking-A new method for on-line testing. Search on Bibsonomy VTS The full citation details ... 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
14Shambhu J. Upadhyaya, Bina Ramamurthy Concurrent Process Monitoring with No Reference Signatures. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
14Nirmal R. Saxena, Edward J. McCluskey Linear Complexity Assertions for Sorting. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
14Yoon-Hwa Choi, Miroslaw Malek A Fault-Tolerant Systolic Sorter. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
12Ismet Bayraktaroglu, Alex Orailoglu Concurrent test for digital linear systems. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Christodoulos Peltekis, Dionysios Filippas, Giorgos Dimitrakopoulos Error Checking for Sparse Systolic Tensor Arrays. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
12Jinge 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 CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
12Peter R. Michael Error Checking Methodology to Verify PV Module Parameter Solutions. Search on Bibsonomy 2023   DOI  RDF
12Chang Meng, Jiajun Sun, Yuqi Mai, Weikang Qian MECALS: A Maximum Error Checking Technique for Approximate Logic Synthesis. Search on Bibsonomy DATE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
12Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck SENA: Similarity-Based Error-Checking of Neural Activations. Search on Bibsonomy ECAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
12Zheng Xu, Xinjie Zhou, Zhiqiang Xiao A Hardware Backup Dual-Core Lockstep for Error Checking and Recovery. Search on Bibsonomy EITCE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
12Congcong 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 DASC/PiCom/CBDCom/CyberSciTech The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
12Flávio R. S. Oliveira, Fernando B. Lima Neto Self-explanatory error checking capability for classifier-based Decision Support Systems. Search on Bibsonomy LA-CCI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
12Zhentong Shao, Qiaozhu Zhai, Yan Xu, Xiaohong Guan A Linear Probabilistic Optimal Power Flow Model with Linearization Error Checking. Search on Bibsonomy ISGT Asia The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
12Renato Aguilera, Henry O. Sillin, Adam Z. Stieg, James K. Gimzewski Programmable Fading Memory in Atomic Switch Systems for Error Checking Applications. Search on Bibsonomy Reservoir Computing The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
12Nawei Zhong, Xiaoge Li, Long Qin Hybrid Chinese Grammar Error Checking Model Based on Transformer. Search on Bibsonomy AIPR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
12Simon S. Du, Yuping Luo, Ruosong Wang, Hanrui Zhang Provably Efficient Q-learning with Function Approximation via Distribution Shift Error Checking Oracle. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
12Simon S. Du, Yuping Luo, Ruosong Wang, Hanrui Zhang Provably Efficient Q-learning with Function Approximation via Distribution Shift Error Checking Oracle. Search on Bibsonomy NeurIPS The full citation details ... 2019 DBLP  BibTeX  RDF
12Nora Madi, Hend S. Al-Khalifa Grammatical Error Checking Systems: A Review of Approaches and Emerging Directions. Search on Bibsonomy ICDIM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
12Bo Guan, Xin Li An RSSI-based Wireless Sensor Network Localization Algorithm with Error Checking and Correction. Search on Bibsonomy Int. J. Online Eng. The full citation details ... 2017 DBLP  BibTeX  RDF
12Yanna Liu, Li Chen, Shenglin Tang 一个面向任务图并行程序的错误检查工具 (Error Checking Tool for DAG-based Task Parallel Programs). Search on Bibsonomy 计算机科学 The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
12Judith Willemijn Borghouts, Duncan P. Brumby, Anna L. Cox Batching, Error Checking and Data Collecting: Understanding Data Entry in a Financial Office. Search on Bibsonomy ECSCW Exploratory Papers The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
12Yuan-Yuan Lv, Yong-Li Deng, Ming-Liang Liu, Qi-Yong Lu Automatic Error Checking and Correction of Electronic Medical Records. Search on Bibsonomy FSDM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
12Yue-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 IEEE Trans. Computers The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
12Matthew Heinsen Egan, Chris McDonald Reducing novice C programmers' frustration through improved runtime error checking. Search on Bibsonomy ITiCSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
12Jarupa Vipoopinyo eXtensible business reporting language semantic error checking for accounting information systems. Search on Bibsonomy 2013   RDF
12Julian 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 SIES The full citation details ... 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 Comput. Phys. Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
12Cristina 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 SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
12Xiaoyin 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 CICC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
12Alun Thomas GMCheck: Bayesian error checking for pedigreegenotypes and phenotypes. Search on Bibsonomy Bioinform. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Samuel Z. Guyer, Calvin Lin Error checking with client-driven pointer analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Francisco Rodríguez 0003, Juan José Serrano Control Flow Error Checking with ISIS. Search on Bibsonomy ICESS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12S. Karthik, H. G. Jayakumar Static Analysis: C Code Error Checking for Reliable and Secure Programming. Search on Bibsonomy IEC (Prague) The full citation details ... 2005 DBLP  BibTeX  RDF
12Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Hui 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 WCNC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Toni Badia, Angel Gil, Martí Quixal, Oriol Valentín NLP-enhanced Error Checking for Catalan Unrestricted Text. Search on Bibsonomy LREC The full citation details ... 2004 DBLP  BibTeX  RDF
12Weihua Luo, Zhensheng Luo, Xiaojin Gong Semantic error checking in automatic proofreading for Chinese texts. Search on Bibsonomy SMC (2) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Yannis Kalfoglou, David Stuart Robertson 0001 Use of Formal Ontologies to Support Error Checking in Specifications. Search on Bibsonomy EKAW The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
12Ing-Ray Chen, I-Ling Yen Analysis of Probabilistic Error Checking Procedures on Storage Systems. Search on Bibsonomy Comput. J. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
12Ing-Ray Chen Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects. Search on Bibsonomy SAC The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
12Young-Jong Cho, Chong Kwan Un Window flow control with error-checking scheme in quasi-cut-through switching network with noisy channels. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
12Arthur B. Pyster, Amitava Dutta Error-checking Compilers and Portability. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
12C. M. Thomson Error checking, tracing, and dumping in an ALGOL 68 checkout compiler. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
12Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen Error checking with pointer variables. Search on Bibsonomy ACM Annual Conference The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
12Thammavarapu R. N. Rao Error-Checking Logic for Arithmetic-Type Operations of a Processor. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1968 DBLP  DOI  BibTeX  RDF
12D. S. Henderson Residue class error checking codes. Search on Bibsonomy ACM National Meeting The full citation details ... 1961 DBLP  DOI  BibTeX  RDF
12William H. Kautz Unit-Distance Error-Checking Codes. Search on Bibsonomy IRE Trans. Electron. Comput. The full citation details ... 1958 DBLP  DOI  BibTeX  RDF
10Marcel Medwed, Jörn-Marc Schmidt A Generic Fault Countermeasure Providing Data and Program Flow Integrity. Search on Bibsonomy FDTC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
10Seongwoo Kim, Arun K. Somani Area Efficient Architectures for Information Integrity in Cache Memories. Search on Bibsonomy ISCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Kevin M. Greenan, Ethan L. Miller Reliability mechanisms for file systems using non-volatile memory as a metadata store. Search on Bibsonomy EMSOFT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF file system reliability, online consistency checking, metadata, error correcting codes, non-volatile memory
9Gordon B. Bell, Mikko H. Lipasti Skewed redundancy. Search on Bibsonomy PACT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF distributed processing, error tolerance, memory-level parallelism
9Yuan Zhang, Youren Wang, Shanshan Yang, Min Xie Design of a Cell in Embryonic Systems with Improved Efficiency and Fault-Tolerance. Search on Bibsonomy ICES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Embryonic systems, Two-level self-repair, Extended hamming code, Fault tolerance of configuration memory, Cellular arrays
9Parag K. Lala, Alvernon Walker On-Line Error Detectable Carry-Free Adder Design. Search on Bibsonomy DFT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF carry-free adder, signed binary digits, 1-out-of-3 code, on-line error detection
9Bina Ramamurthy, Shambhu J. Upadhyaya, Bharat K. Bhargava Design and Analysis of an Integrated Checkpointing Recovery Scheme for Distributed Applications. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF distributed systems, Checkpointing, concurrent error detection, rollback recovery, message logging
7Chong Hee Kim, Jean-Jacques Quisquater Fault Attacks for CRT Based RSA: New Attacks, New Results, and New Countermeasures. Search on Bibsonomy WISTP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
7Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam HAIL: a language for easy and correct device access. Search on Bibsonomy EMSOFT The full citation details ... 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
7Wenjing Rao, Alex Orailoglu, Ramesh Karri Fault Tolerant Arithmetic with Applications in Nanotechnology based Systems. Search on Bibsonomy ITC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
7P. G. Moulton, M. E. Muller DITRAN - a compiler emphasizing diagnostics. Search on Bibsonomy Commun. ACM The full citation details ... 1967 DBLP  DOI  BibTeX  RDF
5Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah Backward-compatible constant-time exception-protected memory. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility
5Ben Gavula, George Scheets, Keith A. Teague, Justin Weber The perceptual quality of melp speech over error tolerant IP networks. Search on Bibsonomy ICASSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
5David A. Poplawski, Zachary Kurmas JLS: a pedagogically targeted logic design and simulation tool. Search on Bibsonomy ITiCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF jls, simulation, digital logic
5Jeffrey Mark Siskind, Barak A. Pearlmutter First-class nonstandard interpretations by opening closures. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF lambda lifting, referential transparency
5Gongye Zhou, Peng Chen RH-SCSI: A Reliable HyperSCSI Protocol for Networking Storage. Search on Bibsonomy IEEE NAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
5Jing Yu 0015, María Jesús Garzarán, Marc Snir Techniques for Efficient Software Checking. Search on Bibsonomy LCPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
5Mark Grechanik Finding errors in components that exchange xml data. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF schema validator, interoperability, program analysis, bisimulation, XML schema, symbolic execution
5David A. Poplawski A pedagogically targeted logic design and simulation tool. Search on Bibsonomy WCAE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic simulation
5Teck Bok Tok, Samuel Z. Guyer, Calvin Lin Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. Search on Bibsonomy CC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
5Vinton G. Cerf, Robert E. Kahn A protocol for packet network intercommunication. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
5Sylvia C. Wong, Simon Miles, Weijian Fang, Paul Groth, Luc Moreau 0001 Provenance-Based Validation of E-Science Experiments. Search on Bibsonomy ISWC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
5Krasimir Angelov, Simon Marlow Visual haskell: a full-featured haskell development environment. Search on Bibsonomy Haskell The full citation details ... 2005 DBLP  DOI  BibTeX  RDF haskell development environment, visual studio
5Wendy Bartlett, Lisa Spainhower Commercial Fault Tolerance: A Tale of Two Systems. Search on Bibsonomy IEEE Trans. Dependable Secur. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fault tolerance, high availability, Computer systems implementation
5Yuhua Luo, José Miguel Dias Development of a Cooperative Integration System for AEC Design. Search on Bibsonomy CDVE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
5Yannis Smaragdakis Program Generators and the Tools to Make Them. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
5Steven J. Simske, Xiaofan Lin Creating Digital Libraries: Content Generation and Re-Mastering. Search on Bibsonomy DIAL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
5Yannis Smaragdakis Invited talk: program generators and the tools to make them. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF safety guarantees, meta-programming, program generators
5Charng-Da Lu, Daniel A. Reed Assessing Fault Sensitivity in MPI Applications. Search on Bibsonomy SC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
5Ronald G. Minnich Give your bootstrap the boot: using the operating system to boot the operating system. Search on Bibsonomy CLUSTER The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 113 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license