|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9726 occurrences of 4203 keywords
|
|
|
Results
Found 28136 publication records. Showing 28136 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 42(3), pp. 253-266, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 3-7, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 193-204, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
delta execution, patch validation, testing |
49 | Vladan M. Jovanovic, Lily Cupic |
Teaching agile validation of data models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 9th Conference on Information Technology Education, SIGITE 2008, Cincinnati, OH, USA, October 16-18, 2008, pp. 139-146, 2008, ACM, 978-1-60558-329-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
agile validation, data model validation, teaching validation |
49 | Michael Tonndorf |
An Efficient Compiler Validation Method for Ada 9X. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings, pp. 95-107, 1993, Springer, 3-540-56802-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(2), pp. 166-182, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBMDA ![In: Biological and Medical Data Analysis, 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006, Proceedings, pp. 49-59, 2006, Springer, 3-540-68063-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings, pp. 409-423, 1998, Springer, 3-540-65013-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
44 | Leon G. Stucki |
Validation and verification vs. The software life cycle(Position Statement). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II, pp. 783, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
44 | Jan Hlavicka, Stanislav Racek, Pavel Smrha |
Functional Validation of Fault-Tolerant Asynchronous Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 143-150, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAM ![In: Passive and Active Network Measurement, 8th Internatinoal Conference, PAM 2007, Louvain-la-neuve, Belgium, April 5-6, 2007, Proceedings, pp. 1-10, 2007, Springer, 978-3-540-71616-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Secure BGP, Validation Caching, BGP |
43 | Ekaterina Auer, Wolfram Luther |
Numerical Verification Assessment in Computational Biomechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 145-160, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2008 Workshops - Parallel Processing, VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers, pp. 152-162, 2008, Springer, 978-3-642-00954-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 423-428, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(8), pp. 1059-1070, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(7), pp. 630-650, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA, pp. 85-90, 2007, IEEE Computer Society, 978-0-7695-3241-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Jesus Luna, Manel Medina, Oscar Manso |
Using OGRO and CertiVeR to Improve OCSP Validation for Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings, pp. 12-21, 2006, Springer, 3-540-33809-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Priyadarsan Patra |
On the cusp of a validation wall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 24(2), pp. 193-196, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(6), pp. 547-563, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 6(1), pp. 76-98, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK, pp. 318-326, 2000, IEEE Computer Society, 0-7695-0604-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 37(1), pp. 120-131, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(11), pp. 2526-2538, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer |
09361 Abstracts Collection - Design and Validation of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Validation of Concurrent Systems ![In: Design and Validation of Concurrent Systems, 30.08. - 04.09.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 297-302, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 209-214, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 27(3), pp. 335-360, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 281-289, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK, pp. 47-, 2002, IEEE Computer Society, 0-7695-1736-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 473-, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 491-497, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 877-886, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 12-17, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
post-silicon validation |
34 | Amit Sachan, Sabu Emmanuel, Mohan S. Kankanhalli |
Efficient license validation in MPML DRM architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Rights Management Workshop ![In: Proceedings of the 9th ACM Workshop on Digital Rights Management, Chicago, Illinois, USA, November 9, 2009, pp. 73-82, 2009, ACM, 978-1-60558-779-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSW ![In: The proceedings of the Fourth Australasian Symposium on Grid Computing and e-Research (AusGrid 2006) and the Fourth Australasian Information Security Workshop (Network Security) (AISW 2006), Hobart, Tasmania, Australia, January 2006, pp. 97-104, 2006, Australian Computer Society, 1-920-68236-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 3(1), pp. 114-139, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMNS ![In: Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 2004, Proceedings, pp. 176-188, 2004, Springer, 3-540-23239-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 4th International Conference, ISC 2001, Malaga, Spain, October 1-3, 2001, Proceedings, pp. 183-203, 2001, Springer, 3-540-42662-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 3(4), pp. 524-532, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 161-174, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Miseon Choi, Wonik Park, Young-Kuk Kim |
Two-phase mobile transaction validation in wireless broadcast environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2009, Suwon, Korea, January 15-16, 2009, pp. 32-38, 2009, ACM, 978-1-60558-405-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Six IEEE International Conference on Cognitive Informatics, ICCI 2007, August 6-8, Lake Tahoe, CA, USA, pp. 391-400, 2007, IEEE Computer Society, 1-4244-1327-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Prabhat Mishra 0001, Nikil D. Dutt |
Functional Validation of Programmable Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August - 3 September 2004, Rennes, France, pp. 12-19, 2004, IEEE Computer Society, 0-7695-2203-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau |
A Semantic Validation of Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings, pp. 80-93, 1998, Springer, 3-540-64791-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Ousmane Koné |
Experiment with the Validation of WAP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 405-406, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 900-913, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 23rd International Workshop on Principles of Advanced and Distributed Simulation, PADS 2009, Lake Placid, New York, USA, June 22-25, 2009, pp. 3-10, 2009, IEEE Computer Society, 978-0-7695-3713-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
semantic composability, simulation, component, validation |
31 | Jean-Baptiste Tristan, Xavier Leroy |
Verified validation of lazy code motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 316-326, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 16(1), pp. 131-156, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2008, 9th International Conference, Zakopane, Poland, June 22-26, 2008, Proceedings, pp. 186-194, 2008, Springer, 978-3-540-69572-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence, First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings, pp. 388-394, 2005, Springer, 3-540-30506-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers, pp. 25-37, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, validation, sequences, constraint solver |
31 | Guofei Jiang, George Cybenko |
Functional Validation in Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 8(2), pp. 119-130, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV, pp. 931-939, 2004, Springer, 3-540-22129-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy, pp. 177-184, 2003, IEEE Computer Society, 0-7695-1876-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 16(1-2), pp. 67-81, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 14(1-2), pp. 133-140, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 273-277, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(7), pp. 496-507, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 734-739, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti, pp. 343-352, 2004, IEEE Computer Society, 0-7695-2076-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Hana Chockler, Sitvanit Ruah |
Lightweight Static Analysis Check of Upgrades in C/C++ Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 25-36, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina |
Complementarities Among the Technologies Presented in the Book. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 19-21, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
Function Summarization-Based Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 37-53, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Ajitha Rajan, Daniel Kroening |
Measuring Change Impact on Program Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 125-145, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 73-82, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 85-105, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina |
Challenges of Existing Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 7-17, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 3-5, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 185-207, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 147-184, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
Incremental Upgrade Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 55-72, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Evolving Software ![In: Validation of Evolving Software, pp. 107-121, 2015, Springer, 978-3-319-10622-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![Springer, 978-3-642-01590-8 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Cormac Flanagan, Madhusan Parthasarathy, Shaz Qadeer (eds.) |
Design and Validation of Concurrent Systems, 30.08. - 04.09.2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Validation of Concurrent Systems ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
30 | Serdar Tasiran, Ali Sezgin, Shaz Qadeer |
Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Validation of Concurrent Systems ![In: Design and Validation of Concurrent Systems, 30.08. - 04.09.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Werner Hofschuster, Walter Krämer, Markus Neher 0001 |
C-XSC and Closely Related Software Packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Michel Kieffer |
Distributed parameter and state estimation in a network of sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Jürgen Wolff von Gudenberg |
Interval Arithmetic and Standardization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Markus Neher 0001 |
The CoStLy C++ Class Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Di Jiang, Neil F. Stewart |
Robustness of Boolean operations on subdivision-surface models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Eva Dyllong |
A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Ekaterina Auer, Wolfram Luther |
Numerical Verification Assessment in Computational Biomechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Paul Zimmermann |
Implementation of the reciprocal square root in MPFR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Evgenija D. Popova |
On the Interoperability between Interval Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Gregorio de Miguel Casado, Juan Manuel García Chamizo |
A Software Library for Reliable Online-Arithmetic with Rational Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Ulrich W. Kulisch |
Complete Interval Arithmetic and its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | Peter W. Markstein |
The New IEEE-754 Standard for Floating Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 250-261, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
C-XSC, 100-digit challenge, reliable linear system solver, large dense linear systems, high performance computing, reliable computing |
Displaying result #1 - #100 of 28136 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|