Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
51	Jesus Luna, Manel Medina, Oscar Manso	Using OGRO and CertiVeR to improve OCSP validation for Grids.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	CertiVeR, Grid validation, Grid validation policy, Online Certificate Status Protocol, Open Grid OCSP, Prevalidation
49	Jagannath Keshava, Nagib Hakim, Chinna Prudvi	Post-silicon validation challenges: how EDA and academia can help.	DAC	2010	DBLP DOI BibTeX RDF	design, verification, test, validation, emulation
49	Joseph A. Tucek, Weiwei Xiong, Yuanyuan Zhou 0001	Efficient online validation with delta execution.	ASPLOS	2009	DBLP DOI BibTeX RDF	delta execution, patch validation, testing
49	Vladan M. Jovanovic, Lily Cupic	Teaching agile validation of data models.	SIGITE Conference	2008	DBLP DOI BibTeX RDF	agile validation, data model validation, teaching validation
49	Michael Tonndorf	An Efficient Compiler Validation Method for Ada 9X.	Ada-Europe	1993	DBLP DOI BibTeX RDF	Glossary of Terms and Abbreviations ACVC Ada Compiler Validation Capability, AVF Ada Validation Facility, AJPO Ada Joint Program Office, AVO Ada Validation Organisation, AMO ACVC Maintenance Organisation
49	Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell	Fault Injection for Dependability Validation: A Methodology and Some Applications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	dependability validation, fault-tolerance mechanisms, hardware/software prototype, validation-directed design process, general pin-level fault injection tool, MESSALINE, centralized computerized interlocking system, railway control applications, dependable communication system, ESPRIT Delta-4 Project, distributed system, fault tolerant computing, distributed processing, software tools, program verification, computer communications software, railways, fault-tolerant computing systems, validation methodology
47	Chunmei Yang, Baikun Wan, Xiaofeng Gao 0006	Effectivity of Internal Validation Techniques for Gene Clustering.	ISBMDA	2006	DBLP DOI BibTeX RDF	internal validation measure, gene expression data, cluster validation, gene clustering
44	Gunter Grieser, Klaus P. Jantke, Steffen Lange	Towards the Validation of Inductive Learning Systems.	ALT	1998	DBLP DOI BibTeX RDF
44	Leon G. Stucki	Validation and verification vs. The software life cycle(Position Statement).	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF
44	Jan Hlavicka, Stanislav Racek, Pavel Smrha	Functional Validation of Fault-Tolerant Asynchronous Algorithms.	EUROMICRO	1996	DBLP DOI BibTeX RDF	fault-tolerant asynchronous algorithms, distributed asynchronous algorithms, algorithm correctness, process-oriented discrete simulation, fault injector, C-based validation tool, C-Sim, C-coded implementation, distributed election algorithm, formal specification, communication channels, time behavior, functional validation, state observer, failure semantics
43	Geoff Huston	Measures of Self-similarity of BGP Updates and Implications for Securing BGP.	PAM	2007	DBLP DOI BibTeX RDF	Secure BGP, Validation Caching, BGP
43	Ekaterina Auer, Wolfram Luther	Numerical Verification Assessment in Computational Biomechanics.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	Numerical verification assessment, validation, uncertainty, result verification
42	Ehsan Atoofian, Amirali Baniasadi, Yvonne Coady	Adaptive Read Validation in Time-Based Software Transactional Memory.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF	read validation policy, time-based transactional memory, transactional memory
42	Nathaniel J. August	A Robust and Efficient Pre-Silicon Validation Environment for Mixed-Signal Circuits on Intel's Test Chips.	ISQED	2008	DBLP DOI BibTeX RDF	pre-silicon, validation, mixed-signal
42	Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe	An Acyclic Expansion Algorithm for Fast Protocol Validation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	acyclic expansion algorithm, protocol errors, system deadlocks, channel overflows, protocols, finite state machines, program verification, finite automata, system recovery, state transitions, computer communications software, protocol validation, communications software
41	Khaled El Emam, Saïda Benlarbi, Nishith Goel, Shesh N. Rai	The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	metrics validation, object-oriented quality, inheritance metrics, cohesion metrics, software quality, Object-oriented metrics, coupling metrics, validation methodology
40	Tommy Bojan, Igor Frumkin, Robert Mauri	Intel First Ever Converged Core Functional Validation Experience: Methodologies, Challenges, Results and Learning.	MTV	2007	DBLP DOI BibTeX RDF
40	Jesus Luna, Manel Medina, Oscar Manso	Using OGRO and CertiVeR to Improve OCSP Validation for Grids.	GPC	2006	DBLP DOI BibTeX RDF
40	Priyadarsan Patra	On the cusp of a validation wall.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	validation wall, low DPM, modular validation, logic, virtual platform
40	Yamine Aït Ameur, Mickaël Baron	Formal and experimental validation approaches in HCI systems design based on a shared event B model.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Interaction properties verification and validation, User task modelling and validation, Event B method, CTT (ConcurTaskTrees) language, Formal methods
40	Louis G. Birta, F. Nur Ozmizrak	A Knowlege-Based Approach for the Validation of Simuation Models: The Foundation.	ACM Trans. Model. Comput. Simul.	1996	DBLP DOI BibTeX RDF	behavioral validation, validation knowledge base, constraint satisfaction, experiment design
38	Tomas Berling, Per Runeson	Application of Factorial Design to Validation of System Performance.	ECBS	2000	DBLP DOI BibTeX RDF	Trial planning, System performance validation, Radar system, Test planning, Factorial design
37	Rainer Knauf, Setsuo Tsuruta, Avelino J. Gonzalez	Toward Reducing Human Involvement in Validation of Knowledge-Based Systems.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
37	Liang Zhang 0012, Indradeep Ghosh, Michael S. Hsiao	A Framework for Automatic Design Validation of RTL Circuits Using ATPG and Observability-Enhanced Tag Coverage.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
36	Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer	09361 Abstracts Collection - Design and Validation of Concurrent Systems.	Design and Validation of Concurrent Systems	2009	DBLP BibTeX RDF
36	Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein	08021 Summary - Numerical Validation in Current Hardware Architectures.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
36	Wolfram Luther, Annie A. M. Cuyt, Walter Krämer, Peter W. Markstein	08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
36	Antonio Ruiz-Martínez, Daniel Sánchez-Martínez, C. Inmaculada Marín-López, Manuel Gil Pérez, Antonio Fernandez Gómez-Skarmeta	ACVS: An Advanced Certificate Validation Service in Service-Oriented Architectures.	ICIW	2008	DBLP DOI BibTeX RDF	certificate validation, xkms, long term validation
36	Peng Zhang, Wai-Shing Luk, Yu Song, Jiarong Tong, Pushan Tang, Xuan Zeng 0001	WCOMP: Waveform Comparison Tool for Mixed-signal Validation Regression in Memory Design.	ASP-DAC	2007	DBLP DOI BibTeX RDF	Flash memory design, WCOMP, waveform comparison tool, full-chip validation, design cost, automated mixed-signal validation regression, functional match, time-to-market
36	Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang 0001, Ying Hu 0003	Translation and Run-Time Validation of Loop Transformations.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	reordering transformations, run-time validation, speculative optimizations, global optimizations, optimizing compilers, loop transformations, translation validation, verification conditions
36	Ying Hu 0003, Clark W. Barrett, Benjamin Goldberg	Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations.	SEFM	2004	DBLP DOI BibTeX RDF	Compiler validation, speculative loop optimizations, formal methods, translation validation
36	John C. Grundy, Guoliang Ding	Automatic Validation of Deployed J2EE Components Using Aspects.	ASE	2002	DBLP DOI BibTeX RDF	software component validation, component characterisation, validation agents, automated testing
36	Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son	Real-time transaction processing with partial validation at mobile clients.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time transaction processing, partial validation, conflicting mobile transactions, data conflict detection, two-stage validation mechanism, processing resources, communication resources, transaction execution schedules, unnecessary transaction aborts, avoidable delay removal, asymmetric communication, schedule, real-time systems, mobile computing, data integrity, delays, concurrency control, wireless communication, transaction processing, client-server systems, deadlines, access protocols, mobile computing environments, mobile clients, concurrency control protocols
36	Jan Madsen	Validation and testing of sC++ applications.	ECBS	1997	DBLP DOI BibTeX RDF	sC++, Random Walk validation, concurrent version, testing, validation, program verification, search techniques, testing programs
35	Junjie Wu 0002, Hui Xiong 0001, Jian Chen 0016	Adapting the right measures for K-means clustering.	KDD	2009	DBLP DOI BibTeX RDF	external criteria, k-means, cluster validation
34	Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici	Post-silicon validation opportunities, challenges and recent advances.	DAC	2010	DBLP DOI BibTeX RDF	post-silicon validation
34	Amit Sachan, Sabu Emmanuel, Mohan S. Kankanhalli	Efficient license validation in MPML DRM architecture.	Digital Rights Management Workshop	2009	DBLP DOI BibTeX RDF	license organization, license validation, digital rights management (drm)
34	Jinjun Chen, Yun Yang 0001	Key research issues in grid workflow verification and validation.	ACSW	2006	DBLP BibTeX RDF	grid workflow systems, grid workflow validation, grid workflow verification
34	Prabhat Mishra 0001, Nikil D. Dutt	Modeling and validation of pipeline specifications.	ACM Trans. Embed. Comput. Syst.	2004	DBLP DOI BibTeX RDF	Modeling of processor pipeline, pipeline validation, pipelined processor specification, architecture description language
34	Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire	Automated Validation of Service Configuration on Network Devices.	MMNS	2004	DBLP DOI BibTeX RDF	network service management, automated configuration validation
34	Diana Berbecaru, Antonio Lioy, Marius Marian	On the Complexity of Public-Key Certificate Validation.	ISC	2001	DBLP DOI BibTeX RDF	certificate validation, DPD, DPV, PKI, certificate revocation, CRL, OCSP
34	Li-C. Wang, Magdy S. Abadir, Jing Zeng	On measuring the effectiveness of various design validation approaches for PowerPC microprocessor embedded arrays.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	assertion test generation, design error model, validation, ATPG, logic verification, symbolic trajectory evaluation
34	Di Jiang, Neil F. Stewart	Robustness of Boolean Operations on Subdivision-Surface Models.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
33	Miseon Choi, Wonik Park, Young-Kuk Kim	Two-phase mobile transaction validation in wireless broadcast environments.	ICUIMC	2009	DBLP DOI BibTeX RDF	concurrency control, wireless data broadcast, mobile transaction
33	Agustín Yagüe, Juan Garbajosa	Applying the Knowledge Stored in Systems Models to Derve Validation Tools and Environments.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
33	Prabhat Mishra 0001, Nikil D. Dutt	Functional Validation of Programmable Architectures.	DSD	2004	DBLP DOI BibTeX RDF
33	Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau	A Semantic Validation of Conceptual Graphs.	ICCS	1998	DBLP DOI BibTeX RDF
32	Ousmane Koné	Experiment with the Validation of WAP Systems.	LCN	2000	DBLP DOI BibTeX RDF	WAP systems validation, French project, WAP session layer, WAP transaction service, interoperability test sequences, specification validation, reference tests, WAP products, interoperation, program verification, specification languages, open systems, conformance testing, sequences, SDL, Wireless Application Protocols, industry, access protocols, formal description technique, mobile terminals, Internet services, Internet telephony, mobile telephony
32	Michel Diaz, Guy Juanole, Jean-Pierre Courtiat	Observer-A Concept for Formal On-Line Validation of Distributed Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation
31	Claudia Szabo, Yong Meng Teo	An Approach for Validation of Semantic Composability in Simulation Models.	PADS	2009	DBLP DOI BibTeX RDF	semantic composability, simulation, component, validation
31	Jean-Baptiste Tristan, Xavier Leroy	Verified validation of lazy code motion.	PLDI	2009	DBLP DOI BibTeX RDF	lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers
31	Owen Funkhouser, Letha H. Etzkorn, William E. Hughes Jr.	A lightweight approach to software validation by comparing UML use cases with internal program documentation selected via call graphs.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	UML use cases, Software engineering, Program understanding, Software validation
31	Zenon Waszczyszyn, Marek Slonski	Maximum of Marginal Likelihood Criterion instead of Cross-Validation for Designing of Artificial Neural Networks.	ICAISC	2008	DBLP DOI BibTeX RDF	neural network design, marginal likelihood, Bayesian inference, cross-validation
31	P. Nagabhushan, Shanmukhappa A. Angadi, Basavaraj S. Anami	Symbolic Data Structure for Postal Address Representation and Address Validation Through Symbolic Knowledge Base.	PReMI	2005	DBLP DOI BibTeX RDF	Postal Address validation, Symbolic object, knowledge base, Frames
31	Nikolai Kosmatov	Constraint Solving for Sequences in Software Validation and Verification.	INAP	2005	DBLP DOI BibTeX RDF	verification, validation, sequences, constraint solver
31	Guofei Jiang, George Cybenko	Functional Validation in Grid Computing.	Auton. Agents Multi Agent Syst.	2004	DBLP DOI BibTeX RDF	keywords and ontology, grid computing, PAC learning, service matching, functional validation
31	Yi Peng 0001, Gang Kou, Zhengxin Chen, Yong Shi 0001	Cross-Validation and Ensemble Analyses on Multiple-Criteria Linear Programming Classification for Credit Cardholder Behavior.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Credit Card Portfolio Management, Multi-criteria Linear Programming, Cross-Validation and Ensemble, Data Mining, Classification
31	Peter H. Deussen, George Din, Ina Schieferdecker	A TTCN-3 Based Online Test and Validation Platform for Internet Services.	ISADS	2003	DBLP DOI BibTeX RDF	Online Validation, Active Networks, TTCN-3, Online testing
31	Jian Shen, Jacob A. Abraham	An RTL Abstraction Technique for Processor Microarchitecture Validation and Test Generation.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	microprocessor design validation, coverage measurement, test generation
31	Ghassan Al Hayek, Chantal Robach	From Design Validation to Hardware Testing: A Unified Approach.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	VHDL, mutation testing, design validation
31	Li-C. Wang, Magdy S. Abadir, Jing Zeng	Measuring the Effectiveness of Various Design Validation Approaches For PowerPC(TM) Microprocessor Arrays.	DATE	1998	DBLP DOI BibTeX RDF	Design Error Models, Verification, Design Validation
31	Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Formal methods, validation, concurrent programs, reachability analysis, automatic verification, partial-order methods
31	Tapas Kanungo, Robert M. Haralick, Henry S. Baird	Power functions and their use in selecting distance functions for document degradation model validation.	ICDAR	1995	DBLP DOI BibTeX RDF	document degradation, document degradation models, document printing, validation procedures, statistical methodology, optical character recognition, statistical analysis, document image processing, scanning, nonparametric statistics
30	Rainer Knauf, Setsuo Tsuruta, Hirokazu Ihara, Avelino J. Gonzalez, Torsten Kurbad	Improving AI Systems? Dependability by Utilizing Historical Knowledge.	PRDC	2004	DBLP DOI BibTeX RDF
30	Hana Chockler, Sitvanit Ruah	Lightweight Static Analysis Check of Upgrades in C/C++ Software.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina	Complementarities Among the Technologies Presented in the Book.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina	Function Summarization-Based Bounded Model Checking.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Ajitha Rajan, Daniel Kroening	Measuring Change Impact on Program Behaviour.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina	Optimizing Function Summaries Through Interpolation.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler	RADAR: Dynamic Analysis of Upgrades in C/C++ Software.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina	Challenges of Existing Technology.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina	Introduction.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad	Regression Checking of Changes in C Software.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad	Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina	Incremental Upgrade Checking.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Ali Muhammad	G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software.	Validation of Evolving Software	2015	DBLP DOI BibTeX RDF
30	Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (eds.)	Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers	Numerical Validation in Current Hardware Architectures	2009	DBLP DOI BibTeX RDF
30	Cormac Flanagan, Madhusan Parthasarathy, Shaz Qadeer (eds.)	Design and Validation of Concurrent Systems, 30.08. - 04.09.2009	Design and Validation of Concurrent Systems	2009	DBLP BibTeX RDF
30	Serdar Tasiran, Ali Sezgin, Shaz Qadeer	Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning.	Design and Validation of Concurrent Systems	2009	DBLP BibTeX RDF
30	Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (eds.)	Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Werner Hofschuster, Walter Krämer, Markus Neher 0001	C-XSC and Closely Related Software Packages.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Michel Kieffer	Distributed parameter and state estimation in a network of sensors.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Jürgen Wolff von Gudenberg	Interval Arithmetic and Standardization.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Markus Neher 0001	The CoStLy C++ Class Library.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Andreas Rauh, Johanna Minisini, Eberhard P. Hofer	Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Michael Zimmer 0002, Walter Krämer	Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Di Jiang, Neil F. Stewart	Robustness of Boolean operations on subdivision-surface models.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Eva Dyllong	A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio	Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Ekaterina Auer, Wolfram Luther	Numerical Verification Assessment in Computational Biomechanics.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Paul Zimmermann	Implementation of the reciprocal square root in MPFR.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Markus Grimmer	Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer 0002	A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith 0001	Second Note on Basic Interval Arithmetic for IEEE754R.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Evgenija D. Popova	On the Interoperability between Interval Software.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Frithjof Blomquist, Werner Hofschuster, Walter Krämer	A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Gregorio de Miguel Casado, Juan Manuel García Chamizo	A Software Library for Reliable Online-Arithmetic with Rational Numbers.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Ulrich W. Kulisch	Complete Interval Arithmetic and its Implementation.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Peter W. Markstein	The New IEEE-754 Standard for Floating Point Arithmetic.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
30	Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer 0002	A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	C-XSC, 100-digit challenge, reliable linear system solver, large dense linear systems, high performance computing, reliable computing