Вы здесь

Главная

метод

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

Detection of Recurrences in Sequential Programs with Loops
Deterministic and Statistical Methods in Machine Learning: Revised Lectures/First International Workshop. Sheffield, UK, September 2004
Developing an Information System using TROLL - An Application Field Study
Developing BON as an Industrial-Strength Formal Method
Developing Quality Software Systems Using the SOFL Formal Engineering Method
Development of a Distributed Min/Max Component
Development Trends in Methods for Efficiency Evaluation of ES-based Computer Systems
Die "Neue Mikroelektronik" in der Informatik: Voraussetzungen und Auswirkungen
Digital Halftoning with Space Filling Curves
Digital Watermarking: Revised Selected Papers/Third International Workshop, IWDW 2004. Seoul, South Korea, October/November 2004
Digital Watermarking: Selected Papers/7th International Workshop IWDW 2008 Busan, Korea, November 2008
Direct End-User Access to Remote Information
DISTOS - eine Konstruktionsmethodik fur verteilte Betriebssysteme- (Projektabschlusbericht)
Distributed Computing: Models and Methods
Distributed High-level Module Binding for Flexible Encapsulation and Fast Inter-modular Optimization
Divide, Abstract, and Model-Check
Domain-Based COTS-Product Selection Method
Drawing and Animation Using Skeletal Strokes
Dynamically Stubborn Sets and the Sleep Set Methhod
Dynamic Feedback: An Effective Technique for Adaptive Computing
Dynamic Linking for Mobile Programs
Dynamic Refresh Method for Dynamic RAMs
Dynamic Revision of Choice Points during Garbage Collection in Prolog[II/III]
Dynamic Time Windows: Packet Admission Control with Feedback
ECOOP 92: Proc./ European Conference on Object-Oriented Programming. Utrecht, The Netherlands, June/July 1992.
ECSCW 91 Developers Workshop
Efficient Building of Gating Functions
Efficient Handling of Multiple Inheritance Hierarchies
Efficient Processing of Spatiotemporal Joins
Efficient Timing Analysis of a Class of Petri Nets
Eiffel as a Framework for Verification
Empirical Research Methods in Software Engineering
Empirical Study of Object-Layout Strategies and Optimization Techniques
Energy Minimization Methods in Computer Vision and Pattern Recognition: Proc./5th International Workshop, EMMCVPR 2005. St.Augustine, FL, USA, November 2005
Energy Minimization Methods in Computer Vision and Pattern Recognition: Proc./8th International Conference, EMMCVPR 2011, St.Petersburg, Russia, July 2011
Energy Minimization Methods in Computer Vision and Pattern Recognition: Proc./9th International Conference, EMMCVPR 2013, Lund, Sweden, August 2013
Engineering Psichology and Cognitive Ergonomics: Proc./8th International Conference, EPCE 2009 Held as Part of HCI International 2009 San Diego, CA, USA, July 2009
Enhanced Modulo Scheduling for Loops with Conditional Branches
Enhancing Telecommunications Service Engineering with Mobile Agent Technology and Formal Methods
Enriching the Software Development Process by Formal Methods
Equate: An Object-Oriented Constraints Solver
Estimating Accesses in Partitioned Signature File Organizations
Euro-Par 2015: Parallel Processing: Proc./21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 2015
Euro-Par 2016: Parallel Processing: Proc./22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 2016
EVA: A Flexible Programming Method for Evolving Systems
Evaluating Checklist-Based and Use-Case-Driven Reading Techniques as Applied to Software Analysis and Design UML Artifacts
Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-Oriented Programming
Evaluating Information Systems Development Methods: A New Framework
Evaluating Two Loop Transformations for Reducing Multiple-Writer False Sharing
Evaluation 3D Task Performance for Fish Tank Virtual Worlds