Вы здесь

Главная

оценка

Связанные издания:

Implementation and Evaluation of a Parallel Theorem Prover for Horn-Clause Logic
Implementation and Evaluation of ASN.1 Compiler
Implementation and Performance Evaluation of Compressed Bit-Sliced Signature Files
Improved Heuristic Algorithms for Minimizing Initial Markings of Petri Nets
Improving Estimation Practics by Applying Use Case Models
Improving Programming Re-usability via an Object-Oriented Approach in Multi-Sensor System Evaluation
Improving Space, Time, and Termination in Rewriting-Based Programming
Improving Validation Activities in a Global Software Development
Inconsistency Tolerance
Incremental and Integrated Evaluation of Rule-Based Systems
Incremental Evaluation of Datalog Queries
Indexing Nucleotide Databases for Fast Query Evaluation
Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics: Proc./3rd International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 2012
In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman
Integrated Measurement for the Evaluation and Improvement of Software Process
Integrated Uncertainty in Knowledge Modelling and Decision Making: Proc./6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 2018
Integrating Path and Timing Analysis Using Instruction-Level Simulation Techniques
Integration of Load Measurement Parameters into the Cost Evaluation of Database Queries
Intelligent Robotics and Applications, Part I: Proc./8th International Conference, ICIRA 2015, Portsmouth, UK, August 2015
Interactive Markov Chains: And the Quest for Quantified Quality
Interprocedural Symbolic Evaluation of Ada Programs with Aliases
I-P-O/Multilateral Design Quality Evaluation Methods: Process Improvements and Effects
IP Operations and Management: Proc./8th IEEE International Workshop, IPOM 2008. Samos Island, Greece, September 2008
Is a Bird in the Hand Worth More than Two in the Bush? Limitations of Priority Cognizance in Conflict Resolution for Firm Real-Time Database Systems
Issues in Trace-Driven Simulation
Large System Prformance of SPEC OMP2001 Benchmarks
Learning and Collaboration Technologies: Proc./2nd International Conference, LCT 2015, Held as Part of HCI International 2015, Los Angeles,CA,USA, August 2015
Learning-Based Top-N Selection Query Evaluation over Relational Databases
Load Balanced Query Evaluation in Shared-Everything Environments
Load-Balancing in High Performance GIS: Declustering Polygonal Maps
Looking for Better Integration of Design and Performance Engineering
Lower Bound Cost Estimation for Logic Programs
Magic Sets vs. SLD-Resolution
Managing Evaluation Goals for Training
Manchecter Dataflow Machine: Benchmark Test Evaluation Report
Marking Optimization in Timed Event Graphs
Mathematical Foundations of Computer Science 2006: Proc./31st International Symposium, MFCS 2006. Stara Lesna, Slovakia, August/September 2006
Mathematical Morphology and Its Applications to Signal and Image Processing: Proc./12th International Symposiu, ISMM 2015, Reykjavik, Iceland, May 2015
Maturity Evaluation of the Performance Engineering Process
Maya: A Simulation Platform for Distributed Shared Memories
Measurement and Effort Prediction for Web Applications
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: Proc./15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 2010
Measuring the Performance Impact of SP-Restricted Programming in Shared-Memory Machines
Measuring the Quality of Entity Relationship Diagrams
Memory Latency Effects in Decoupled Architectures with a Single Data Memory Module
Mercure at CLEF-1
Mermaid: Modelling and Evalution Research in MIMD Architecture Design
Message Logging: Pessimistic, Optimistic, Causal, and Optimal
Methods and Tools of Parallel Programming Multicomputers: Revised Selected Pappers/ Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 2010
Methods for evaluating and creating data quality