|
|
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. |
ICWL |
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. |
IEEE Des. Test Comput. |
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. |
PRDC |
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. |
ETS |
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. |
Syst. Comput. Jpn. |
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. |
DEXA Workshops |
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. |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Linda A. Kovacs, Steven F. Gilli |
Extended microcode error checking on a pipelined machine. |
MICRO |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Ming Gao, Hsiu-Ming Chang 0001, Peter Lisherness, Kwang-Ting (Tim) Cheng |
Time-Multiplexed Online Checking. |
IEEE Trans. Computers |
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. |
Computer |
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. |
IEEE Trans. Computers |
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. |
J. Electron. Test. |
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. |
IEEE Trans. Computers |
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. |
IEEE Micro |
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. |
IEEE Trans. Computers |
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. |
IEEE Trans. Computers |
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. |
IEEE Trans. Computers |
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. |
IEEE Micro |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Des. Test Comput. |
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. |
IEEE Trans. Dependable Secur. Comput. |
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. |
IEEE Trans. Computers |
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. |
VTS |
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. |
IEEE Trans. Computers |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Computers |
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. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Christodoulos Peltekis, Dionysios Filippas, Giorgos Dimitrakopoulos |
Error Checking for Sparse Systolic Tensor Arrays. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Peter R. Michael |
Error Checking Methodology to Verify PV Module Parameter Solutions. |
|
2023 |
DOI RDF |
|
12 | Chang Meng, Jiajun Sun, Yuqi Mai, Weikang Qian |
MECALS: A Maximum Error Checking Technique for Approximate Logic Synthesis. |
DATE |
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. |
ECAI |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zheng Xu, Xinjie Zhou, Zhiqiang Xiao |
A Hardware Backup Dual-Core Lockstep for Error Checking and Recovery. |
EITCE |
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. |
DASC/PiCom/CBDCom/CyberSciTech |
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. |
LA-CCI |
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. |
ISGT Asia |
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. |
Reservoir Computing |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Nawei Zhong, Xiaoge Li, Long Qin |
Hybrid Chinese Grammar Error Checking Model Based on Transformer. |
AIPR |
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. |
CoRR |
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. |
NeurIPS |
2019 |
DBLP BibTeX RDF |
|
12 | Nora Madi, Hend S. Al-Khalifa |
Grammatical Error Checking Systems: A Review of Approaches and Emerging Directions. |
ICDIM |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Bo Guan, Xin Li |
An RSSI-based Wireless Sensor Network Localization Algorithm with Error Checking and Correction. |
Int. J. Online Eng. |
2017 |
DBLP BibTeX RDF |
|
12 | Yanna Liu, Li Chen, Shenglin Tang |
一个面向任务图并行程序的错误检查工具 (Error Checking Tool for DAG-based Task Parallel Programs). |
计算机科学 |
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. |
ECSCW Exploratory Papers |
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. |
FSDM |
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. |
IEEE Trans. Computers |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Matthew Heinsen Egan, Chris McDonald |
Reducing novice C programmers' frustration through improved runtime error checking. |
ITiCSE |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Jarupa Vipoopinyo |
eXtensible business reporting language semantic error checking for accounting information systems. |
|
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. |
SIES |
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. |
Comput. Phys. Commun. |
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. |
SIGSOFT FSE |
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. |
CICC |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Alun Thomas |
GMCheck: Bayesian error checking for pedigreegenotypes and phenotypes. |
Bioinform. |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Samuel Z. Guyer, Calvin Lin |
Error checking with client-driven pointer analysis. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Francisco Rodríguez 0003, Juan José Serrano |
Control Flow Error Checking with ISIS. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | S. Karthik, H. G. Jayakumar |
Static Analysis: C Code Error Checking for Reliable and Secure Programming. |
IEC (Prague) |
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. |
UML Satellite Activities |
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. |
WCNC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Toni Badia, Angel Gil, Martí Quixal, Oriol Valentín |
NLP-enhanced Error Checking for Catalan Unrestricted Text. |
LREC |
2004 |
DBLP BibTeX RDF |
|
12 | Weihua Luo, Zhensheng Luo, Xiaojin Gong |
Semantic error checking in automatic proofreading for Chinese texts. |
SMC (2) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Yannis Kalfoglou, David Stuart Robertson 0001 |
Use of Formal Ontologies to Support Error Checking in Specifications. |
EKAW |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Ing-Ray Chen, I-Ling Yen |
Analysis of Probabilistic Error Checking Procedures on Storage Systems. |
Comput. J. |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Ing-Ray Chen |
Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects. |
SAC |
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. |
IEEE Trans. Commun. |
1991 |
DBLP DOI BibTeX RDF |
|
12 | Arthur B. Pyster, Amitava Dutta |
Error-checking Compilers and Portability. |
Softw. Pract. Exp. |
1978 |
DBLP DOI BibTeX RDF |
|
12 | C. M. Thomson |
Error checking, tracing, and dumping in an ALGOL 68 checkout compiler. |
ACM SIGPLAN Notices |
1977 |
DBLP DOI BibTeX RDF |
|
12 | Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen |
Error checking with pointer variables. |
ACM Annual Conference |
1976 |
DBLP DOI BibTeX RDF |
|
12 | Thammavarapu R. N. Rao |
Error-Checking Logic for Arithmetic-Type Operations of a Processor. |
IEEE Trans. Computers |
1968 |
DBLP DOI BibTeX RDF |
|
12 | D. S. Henderson |
Residue class error checking codes. |
ACM National Meeting |
1961 |
DBLP DOI BibTeX RDF |
|
12 | William H. Kautz |
Unit-Distance Error-Checking Codes. |
IRE Trans. Electron. Comput. |
1958 |
DBLP DOI BibTeX RDF |
|
10 | Marcel Medwed, Jörn-Marc Schmidt |
A Generic Fault Countermeasure Providing Data and Program Flow Integrity. |
FDTC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Seongwoo Kim, Arun K. Somani |
Area Efficient Architectures for Information Integrity in Cache Memories. |
ISCA |
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. |
EMSOFT |
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. |
PACT |
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. |
ICES |
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. |
DFT |
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. |
IEEE Trans. Knowl. Data Eng. |
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. |
WISTP |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam |
HAIL: a language for easy and correct device access. |
EMSOFT |
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. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
7 | P. G. Moulton, M. E. Muller |
DITRAN - a compiler emphasizing diagnostics. |
Commun. ACM |
1967 |
DBLP DOI BibTeX RDF |
|
5 | Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah |
Backward-compatible constant-time exception-protected memory. |
ESEC/SIGSOFT FSE |
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. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
5 | David A. Poplawski, Zachary Kurmas |
JLS: a pedagogically targeted logic design and simulation tool. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
jls, simulation, digital logic |
5 | Jeffrey Mark Siskind, Barak A. Pearlmutter |
First-class nonstandard interpretations by opening closures. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
lambda lifting, referential transparency |
5 | Gongye Zhou, Peng Chen |
RH-SCSI: A Reliable HyperSCSI Protocol for Networking Storage. |
IEEE NAS |
2007 |
DBLP DOI BibTeX RDF |
|
5 | Jing Yu 0015, María Jesús Garzarán, Marc Snir |
Techniques for Efficient Software Checking. |
LCPC |
2007 |
DBLP DOI BibTeX RDF |
|
5 | Mark Grechanik |
Finding errors in components that exchange xml data. |
ASE |
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. |
WCAE |
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. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
5 | Vinton G. Cerf, Robert E. Kahn |
A protocol for packet network intercommunication. |
Comput. Commun. Rev. |
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. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
5 | Krasimir Angelov, Simon Marlow |
Visual haskell: a full-featured haskell development environment. |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
haskell development environment, visual studio |
5 | Wendy Bartlett, Lisa Spainhower |
Commercial Fault Tolerance: A Tale of Two Systems. |
IEEE Trans. Dependable Secur. Comput. |
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. |
CDVE |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Yannis Smaragdakis |
Program Generators and the Tools to Make Them. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Steven J. Simske, Xiaofan Lin |
Creating Digital Libraries: Content Generation and Re-Mastering. |
DIAL |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Yannis Smaragdakis |
Invited talk: program generators and the tools to make them. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
safety guarantees, meta-programming, program generators |
5 | Charng-Da Lu, Daniel A. Reed |
Assessing Fault Sensitivity in MPI Applications. |
SC |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Ronald G. Minnich |
Give your bootstrap the boot: using the operating system to boot the operating system. |
CLUSTER |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 113 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|