|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1741 occurrences of 1229 keywords
|
|
|
Results
Found 3299 publication records. Showing 3299 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | Edgar Kaucher, Carsten W. Schulz-Rinne |
Aspects of Self-Validating Numerics in Banach Spaces. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
47 | Paolo Santi, Piero Maestrini |
Self-Validating Diagnosis of Hypercube Systems. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
self-validating diagnosis, wafer-scale testing, hypercube, System-level diagnosis, multicomputer systems |
45 | George F. Corliss |
Industrial Applications of Interval Techniques. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Hans J. Stetter |
Validated Solution of Initial Value Problems for ODE. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Friedrich Goerisch, Zhiqing He |
The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods I. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Götz Alefeld |
Enclosure Methods. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Gerd Bohlender |
What Do We Need Beyond IEEE Arithmetic? |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Johann Schröder |
Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value Problems. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Christian P. Ullrich |
Programming Languages for Enclosure Methods. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Louis B. Rall |
Differentiation Arithmetics. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Karlheinz Hafner |
Chips for High Precision Arithmetic. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | E. Adams |
Periodic Solutions: Enclosure, Verification, and Applications. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Henning Behnke |
The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods II. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Lothar Collatz |
Guaranteed Inclusions of Solutions of some Types of Boundary Value Problems. |
Computer Arithmetic and Self-Validating Numerical Methods |
1990 |
DBLP DOI BibTeX RDF |
|
35 | Richard Conn |
Software Systems Requirements. |
ACM J. Educ. Resour. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Consortium Requirements Engineering, Evolutionary Spiral Model, Requirements-Based Testing, development requirements specifications interactively, documenting requirements, dynamics of interviewing, deriving and validating software requirements, problem domain modeling, rapid prototyping aids, requirements engineering methodologies, user/customer involvement, UML, formal methods, Z, extracting, SPARK |
27 | Wei Zhang 0020, Robert A. van Engelen |
An Adaptive XML Parser for Developing High-Performance Web Services. |
eScience |
2008 |
DBLP DOI BibTeX RDF |
Schema Updates, TDX, pTDX, Table-driven XML parsing, permutation phrase, Web Services, XML, Validating, Extensible, Parsing |
27 | Richard H. Carver, Steve Counsell, Reuben V. Nithi |
An Evaluation of the MOOD Set of Object-Oriented Software Metrics. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
validating software metrics, assessing object-oriented software, Empirical software engineering |
27 | Robert D. Braun, Donald D. Givone |
An Improved Algorithm for Deriving Checking Experiments. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
validating sequence, synchronous machines, fault detection, sequential machines, Checking experiments |
27 | C. V. Ramamoorthy, Yih-Wu Han |
Reliability Analysis of Systems with Concurrent Error Detection. |
IEEE Trans. Computers |
1975 |
DBLP DOI BibTeX RDF |
critical reliability of detector, detector redundant system, hybrid (N, S), N-tuple modular redundant system, reconfiguration switch, validating gate, Availability, subsystem, triple modular redundant system |
26 | Fangzhe Chang, Jennifer Ren |
Validating system properties exhibited in execution traces. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
system testing automation, trace analysis |
26 | Jong-Hoon Oh, Hitoshi Isahara |
Validating Transliteration Hypotheses Using the Web: Web Counts vs. Web Mining. |
Web Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Samuli Pekkola, Hannakaisa Isomäki |
Evaluating End-User Support: Validating the Use of Multiple Media in a CSCW Application. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jin-Shea Kuo |
Generating Term Transliterations Using Contextual Information and Validating Generated Results Using Web Corpora. |
AIRS |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Vince D. Calhoun, Godfrey D. Pearlson, Tülay Adali |
Independent Component Analysis Applied to fMRI Data: A Generative Model for Validating Results. |
J. VLSI Signal Process. |
2004 |
DBLP DOI BibTeX RDF |
model, independent component analysis, fMRI, brain |
26 | Keke Chen, Ling Liu 0001 |
Validating and Refining Clusters via Visual Rendering. |
ICDM |
2003 |
DBLP DOI BibTeX RDF |
|
26 | R. K. Shyamasundar, J. V. Aghav |
Validating Real-Time Constraints in Embedded Systems. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
Validation & Verification, Embedded Systems, Synchronous Languages, Esterel, RealTime Systems |
26 | Fredrik Fällström, Stig Nordqvist, Björn Hedin, Vlad Ionesco |
Using a Simulator for Testing and Validating a Newspaper Production Decision Support System. |
HICSS (4) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Mark I. Hwang, Ephraim R. McLean |
The Use of Meta-Analysis in Validating the Delone and McLean Information Systems Success Model. |
HICSS (4) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Karen M. G. Lopes, Edimara M. Luciano, Guilherme Costa Wiedenhöft |
The effects of institutional factors on public value position prioritization: proposing and validating a measurement scale in the Brazilian digital government context: proposing and validating a measurement scale in the Brazilian digital government context. |
DG.O |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Pablo González de Aledo Marugán, Álvaro Díaz Suárez, Pablo Sánchez Espeso, Ralf Huuck |
Discovering and Validating Concurrency Specification from Test Executions. |
VST@SANER |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Mostafa Elhemali, Leo Giakoumakis |
Unit-testing query transformation rules. |
DBTest |
2008 |
DBLP DOI BibTeX RDF |
verification, testing, query optimization |
21 | Yi Dou, Xinyu Zhang, Li Li |
A New Approach for Education Information System's Compliance Test with the CELTS Standard Based Upon XML Processing Technology. |
WBL |
2008 |
DBLP DOI BibTeX RDF |
CELTS standard, education information system, XML schema |
21 | Zhenghong Gao, Yinfei Pan, Ying Zhang, Kenneth Chiu |
A High Performance Schema-Specific XML Parser. |
eScience |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Denilson Barbosa 0001, Juliana Freire, Alberto O. Mendelzon |
Information Preservation in XML-to-Relational Mappings. |
XSym |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar |
A method for validating the compliance of business processes to business rules. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
compliance validation, UML, business process, OCL, business rules |
19 | Sudipta Kundu, Sorin Lerner, Rajesh Gupta 0001 |
Validating High-Level Synthesis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Bing Tian Dai, Nick Koudas, Divesh Srivastava, Anthony K. H. Tung, Suresh Venkatasubramanian |
Validating Multi-column Schema Matchings by Type. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Jeff Craighead, Rodrigo Gutierrez, Jennifer L. Burke, Robin R. Murphy |
Validating the Search and Rescue Game Environment as a robot simulator by performing a simulated anomaly detection task. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Sreekar Krishna, Sethuraman Panchanathan |
Combining Skin-Color Detector and Evidence Aggregated Random Field Models towards Validating Face Detection Results. |
ICVGIP |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Joan Tomàs-Buliart, Marcel Fernandez, Miguel Soriano |
Protection of Mobile Agents Execution Using a Modified Self-Validating Branch-Based Software Watermarking with External Sentinel. |
CRITIS |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Jordi Mongay Batalla, Robert Janowski |
A method for validating the aggregated signaling traffic model using simulations in ns-2 platform. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
QoS, SIP, signaling, ns-2, class of service |
19 | Kostas Marias, Dimitra D. Dionysiou, Georgios S. Stamatakos, Fotini Zacharopoulou, Eleni Ch. Georgiadi, Thanasis Margaritis, Thomas G. Maris, Ioannis G. Tollis |
Multi-level Analysis and Information Extraction Considerations for Validating 4D Models of Human Function. |
HCI (12) |
2007 |
DBLP DOI BibTeX RDF |
Virtual Physiological Human, biomedical data analysis, modeling |
19 | Juan Miguel López 0001, Idoia Cearreta, Inmaculada Fajardo, Nestor Garay |
Validating a Multilingual and Multimodal Affective Database. |
HCI (11) |
2007 |
DBLP DOI BibTeX RDF |
affective resources, user validation, multilingual and multimodal resources, semantics, Affective computing |
19 | Noor Hazarina Hashim, Jamie Murphy, Peter O'Connor |
Take Me Back: Validating the Wayback Machine as a Measure of Website Evolution. |
ENTER |
2007 |
DBLP DOI BibTeX RDF |
Wayback Machine, Internet, websites, diffusion of innovations |
19 | Anders Moen Hagalisletto |
Validating Attacks on Authentication Protocols. |
ISCC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, Ross Gore |
Validating Evolving Simulations in COERCE. |
International Conference on Computational Science (1) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Santana Tapia, Maya Daneva, Pascal van Eck |
Validating Adequacy and Suitability of Business-IT Alignment Criteria in an Inter-Enterprise Maturity Model 202. |
EDOC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Hiren D. Patel, Deepak Mathaikutty, David Berner, Sandeep K. Shukla |
CARH: service-oriented architecture for validating system-level designs. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Sarat C. Dass, Yongfang Zhu, Anil K. Jain 0001 |
Validating a Biometric Authentication System: Sample Size Requirements. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Gaussian copula models, ROC confidence bands, bootstrap, error estimation, Biometric authentication |
19 | Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Jun Sun 0001, Hai H. Wang |
Validating Semistructured Data Using OWL. |
WAIM |
2006 |
DBLP DOI BibTeX RDF |
Semantic Web, Formal Verification, OWL, Semistructured Data |
19 | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker |
A PVS Based Framework for Validating Compiler Optimizations. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Chatchawit Aporntewan, Prabhas Chongstitvatana |
A quantitative approach for validating the building-block hypothesis. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Yinlei Yu, Sharad Malik |
Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Shaoying Liu |
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Urko Rueda, Mikel Larrañaga, Jon A. Elorriaga, Ana Arruarte Lasa |
Validating DynMap as a Mechanism to Visualize the Student's Evolution Through the Learning Process. |
Intelligent Tutoring Systems |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Marie-Odile Berger, René Anxionnat, Erwan Kerrien |
A Methodology for Validating a New Imaging Modality with Respect to a Gold Standard Imagery: Example of the Use of 3DRA and MRI for AVM Delineation. |
MICCAI (1) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | José María Sierra, Julio César Hernández Castro, Almudena Alcaide, Joaquín Torres Márquez |
Validating the Use of BAN LOGIC. |
ICCSA (1) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Weldon A. Lodwick, K. David Jamison |
Estimating and Validating the Cumulative Distribution of a Function of Random Variables: Toward the Development of Distribution Arithmetic. |
Reliab. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jayanta Bhadra, Narayanan Krishnamurthy, Magdy S. Abadir |
A Methodology for Validating Manufacturing Test Vector Suites for Custom Designed Scan-Based Circuits. |
MTV |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Petri Selonen, Jianli Xu |
Validating UML models against architectural profiles. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
architectural validation, UML, profiles |
19 | Tim Kindberg, Kan Zhang |
Validating and Securing Spontaneous Associations between Wireless Devices. |
ISC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Regina Lúcia de Oliveira Moraes, Eliane Martins |
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Yan Liu 0003, Srikanth Gururajan, Bojan Cukic, Tim Menzies, Marcello R. Napolitano |
Validating an Online Adaptive System Using SVDD. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Benoit Parreaux, Daniel Vincent, Gérard Babonneau |
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol. |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Yves-Marie Quemener |
A Typical Testing Problem: Validating WML Cellphones. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy |
Validating Run-time Interactions in Distributed Java Applications. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
Visualization, Unified Modeling Language, Software design, Distributed applications, Assertions, Java RMI, Test adequacy criteria, Interceptors, Interaction diagrams |
19 | Bertram Ludäscher, Richard Marciano, Reagan W. Moore |
Preservation of Digital Data with Self-Validating, Self-Instantiating Knowledge-Based Archives. |
SIGMOD Rec. |
2001 |
DBLP DOI BibTeX RDF |
XML |
19 | Thomas Ball, Sriram K. Rajamani |
Automatically Validating Temporal Safety Properties of Interfaces. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Jonathan Jingsheng Shi |
Practical approaches for validating a construction simulation. |
WSC |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Vladimir Zadorozhny, Louiqa Raschid, Tao Zhan, Laura Bright |
Validating an Access Cost Model for Wide Area Applications. |
CoopIS |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Humayun Khalid |
Validating Trace-Driven Microarchitectural Simulations. |
IEEE Micro |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Mark Richters, Martin Gogolla |
Validating UML Models and OCL Constraints. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Shahrul Azman Noah, Michael D. Williams |
Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools. |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Theofanis Vassiliou-Gioles, Ina Schieferdecker |
Case Study in Protocol Validation: Validating an ATM Signalling Protocol. |
Formal Aspects Comput. |
1998 |
DBLP DOI BibTeX RDF |
ATM signalling, Validation, SDL |
19 | Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann |
Validating Requirements for Fault Tolerant Systems using Model Checking. |
ICRE |
1998 |
DBLP DOI BibTeX RDF |
|
19 | John R. Samson Jr., Wilfrido Alejandro Moreno, Fernando J. Falquez |
Validating fault tolerant designs using laser fault injection (LFI). |
DFT |
1997 |
DBLP DOI BibTeX RDF |
fault tolerant designs validation, laser fault injection, VHSIC technology, in situ testing, transient error conditions, VLSI, faults, automated testing, transient, VLSI technology |
19 | Ramkumar V. Pichai, Joseph E. Urban |
A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems |
19 | Odd Ivar Lindland, John Krogstie |
Validating Conceptual Models by Transformational Prototyping |
CAiSE |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Perla Innocenti, Seamus Ross, Elena Maceviciute, Thomas D. Wilson 0001, Jens Ludwig, Wolfgang Pempe |
Assessing digital preservation frameworks: the approach of the SHAMAN project. |
MEDES |
2009 |
DBLP DOI BibTeX RDF |
SHAMAN project, assessment criteria, data centres, digital preservation frameworks, persistent archiving, policy frameworks, web based digital ecosystems, digital libraries, data grids, digital preservation, digital repositories |
14 | Marco Carbone, Nobuko Yoshida, Kohei Honda 0001 |
Asynchronous Session Types: Exceptions and Multiparty Interactions. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Chin-Yun Chen |
Bivariate Product Cubature Using Peano Kernels for Local Error Estimates. |
J. Sci. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Adaptive cubature, Tensor product rules, Optimal error estimates, Peano kernels, Interval computation |
14 | Monika Lehmpfuhl, Manuel André Gaudnek, Andreas Hess 0001, Michael Sibila |
Analysis of Cerebral Blood Flow from Small Rodents. |
Bildverarbeitung für die Medizin |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Wei Zhang 0020, Robert A. van Engelen |
High-Performance XML Parsing and Validation with Permutation Phrase Grammar Parsers. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Florina Almenárez, Andrés Marín López, Daniel Díaz Sánchez, Alberto Cortés, Celeste Campo, Carlos García-Rubio |
Building an Open Toolkit of Digital Certificate Validation for Mobile Web Services. |
PerCom |
2008 |
DBLP DOI BibTeX RDF |
certificate validation, open toolkit, X.509 certificates |
14 | YiHua Lam, Saadat M. Alhashmi |
Simulation of Halal Food Supply Chain with Certification System: A Multi-Agent System Approach. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
Halal food, certification process, Multi-agent, supply chain |
14 | Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet |
On-The-Fly Model-Based Testing of Web Services with Jambition. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ray Adams |
Decision and stress: cognition and e-accessibility in the information workplace. |
Univers. Access Inf. Soc. |
2007 |
DBLP DOI BibTeX RDF |
e-Accessibility, Models, Architecture, Cognition, Overload, Workplace, Augmentation |
14 | Gary W. Godding, Hessam S. Sarjoughian, Karl G. Kempf |
Application of combined discrete-event simulation and optimization models in semiconductor enterprise manufacturing systems. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Vir V. Phoha, Shashi Phoha |
Situation-Aware Software Engineering for Sensor Networks. |
COMSWARE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Zheng Li, Yan Jin, Jun Han 0004 |
A Runtime Monitoring and Validation Framework for Web Service Interactions. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Fabio Picconi, Nishkam Ravi, Marco Gruteser, Liviu Iftode |
Probabilistic validation of aggregated data in vehicular ad-hoc networks. |
Vehicular Ad Hoc Networks |
2006 |
DBLP DOI BibTeX RDF |
aggregation, vehicular networks, malicious nodes, data validation |
14 | Yuan-Ting Zhang, X. Y. Xiang, Carmen C. Y. Poon |
The Evaluation of Nodes of Body Sensor Networks: Wearable Blood Pressure Measuring Devices. |
BSN |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Matthew D. Ford, Gordan R. Stuhne, Hristo N. Nikolov, Damiaan F. Habets, Stephen P. Lownie, David W. Holdsworth, David A. Steinman |
Virtual angiography for visualization and validation of computational models of aneurysm hemodynamics. |
IEEE Trans. Medical Imaging |
2005 |
DBLP DOI BibTeX RDF |
|
14 | 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 |
14 | Guillermo Payá Vayá, Javier Martín-Langerwerf, Peter Pirsch |
RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration. |
SAMOS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | 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 |
|
14 | 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 |
14 | Manachai Toahchoodee, Indrakshi Ray |
Validation of Policy Integration Using Alloy. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Dietrich Albert, Christina M. Steiner |
Empirical Validation of Concept Maps: Preliminary Methodological Considerations. |
ICALT |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Dae-Young Lee, Young-Gul Kim |
Validation of the Knowledge Management Stage Model: A Triangulation Approach. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
Stage Model, KM Implementation, Knowledge Management |
Displaying result #1 - #100 of 3299 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|