Вы здесь

Главная

частичный

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

Advances in Swarm Intelligence, Part I: Proc./5th International Conference, ICSI 2014, Hefei, China, October 2014
Algorithm 731: A Moving-Grid Interface for Systems of One-Dimensional Time-Dependent Partial Differential Equations
Alias calculus for a simple imperative language with decidable pointer arithmetic
A Partial Evaluation Procedure for Logic Programs
Applications of Evolutionary Computation, Part I: Proc./ EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 2011
Applied Reconfigurable Computing: Architectures, Tools, and Applications: Proc./14th International Symposium, ARC 2018, Santorini, Greece, May 2018
Applied Reconfigurable Computing: Proc./15th International Symposium, ARC 2019, Darmstadt, Germany, April 2019
Artificial Intelligence and Computational Intelligence, Part II: Proc./3rd International Conference, AICI 2011, Taiyuan, China, September 2011
Code Motion for Explicitly Parallel Programs
Collaboration and Technology: Proc./23rd International Conference, CRIWG 2017, Saskatoon,SK,Canada, August 2017
Computer Aided Systems Theory - EUROCAST 2011, Part I: Revised Selected Papers/13th International Conference, Las Palmes de Gran Canaria, Spain, February 2012
Conjunction as Composition
Essence of generalized partial computation
Finite Difference Methods: Theory and Applications: Revised Selected Papers/7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 2018
Foundations on Natural and Artificial Computation, Part I: Proc./4th International Work-Conference IWINAC 2011, La Palma, Canary Islands, Spain, May/June 2011
Intelligent Robotics and Applications, Part I: Proc./6th International Conference, ICIRA 2013, Busan, South Korea, September 2013
LATIN 2012: Theoretical Informatics: Proc./10th Latin American Symposium, Arequipa, Peru, April 2012
Load Elimination in the Presence of Side Effects, Concurrency and Precise Expections
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/16th International Symposium, LOPSTR 2006. Venice, Italy, July 2006
Mathematical Morphology and Its Applications to Signal and Image Processing: Proc./13th International Symposium, ISMM 2017, Fontainebleau, France, May 2017
Monads and Algebras in the Semantics of Partial Data Types
Partial Continuations as the Difference of Continuations. A Duumvirate of Control Operators
Partial Correctness Assertions Provable in Dynamic Logics
Partial Dead Code Elimination
Partial Deduction and Driving are Equivalent
Partial Evaluation for Hierarchies of Logic Theories
Partial Evaluation Grammars
Partial Evaluation of a CLP Language
Partial Evaluation of C and Automatic Compiler Generation
Partial Functions in a Total Setting
Partial Redundancy Elimination in SSA Form
Partial Redundancy Elimination with Predication Techniques
Partial Words Versus Processes: A Short Comparison
Planning with Abstraction Based on Partial Predicate Mappings
Portial Redundancy Elimination on Predicated Code
Production of Cooperative Answers on the Basis of Partial Knowledge in Information-Seeking Dialogues
Progress in Artificial Intelligence: Proc./15th Portuguese Conference on AI, EPIA 2011, Lisbon, Portugal, October 2011
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs
Sparse Code Motion
Swarm Intelligence: Proc./8th International Conference, ANTS 2012, Brussels, Belgium, September 2012
The Logic of the Partial lambda-Calculus with Equality
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog
Three-valued predicates for software spesification and validation
Towards Generation of Efficient Transformations
Value-Based Partial Redundancy Elimination
Абстрактные типы данных и частичная корректность программ
Автоматическая верификация С-программ на основе смешанной аксиоматической семантики
Аппликативные композиции частичных предикатов
Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ
Использование техники частичных порядков для верификации временных сетей Петри