the proceedings contain 26 papers. the special focus in this conference is on Mathematical Foundations of programming Semantics. the topics include: Types, abstraction, and parametric polymorphism, part 2;call-by-valu...
ISBN:
(纸本)9783540555117
the proceedings contain 26 papers. the special focus in this conference is on Mathematical Foundations of programming Semantics. the topics include: Types, abstraction, and parametric polymorphism, part 2;call-by-value combinatory logic and the lambda-value calculus;from operational to denotational semantics;a simple language supporting angelic nondeterminism and parallel composition;the equivalence of two semantic definitions for inheritance in object-oriented languages;primitive recursive functional with dependent types;typed homomorphic relations extended with subtypes;information links in domain theory;nonwellfounded sets and programming language semantics;simultaneous substitution in the typed lambda calculus;HSP type theorems in the category of posets;decomposition of domains;cartesian closed categories of domains and the space proj(D);an upper power domain construction in terms of strongly compact sets;correctness of procedure representations in higher-order assembly language;an algorithm for analyzing communicating processes;continuous functions and parallel algorithms on concrete data structures;pomsets and mazurkiewicz traces;on relating concurrency and nondeterminism;on continuous time agents;a monoidal closed category of event structures;an exper model for quest;equations for if-then-else;program correctness and matricial iteration theories;liminf progress measures;and connections.
Seventhinternationalconference ASPLOS-VII is devoted to the problems of architectural support for programming languages and operating systems. the main items of the conference are: design of multiprocessors and thei...
详细信息
Seventhinternationalconference ASPLOS-VII is devoted to the problems of architectural support for programming languages and operating systems. the main items of the conference are: design of multiprocessors and their microprogramming, synchronization and communication of processors, threads application and thread scheduling, organization of data storage in cache memory and virtual memory, memory distribution for programs with great memory requirements, design of branch predictors, optimization of compilers, application of distributed shared memory.
the proceedings contain 22 papers. the topics discussed include: actor frameworks for the JVM platform: a comparative analysis;development of a java-based unified and flexible natural language discourse system;java fo...
ISBN:
(纸本)9781605585987
the proceedings contain 22 papers. the topics discussed include: actor frameworks for the JVM platform: a comparative analysis;development of a java-based unified and flexible natural language discourse system;java for high performance computing: assessment of current research and practice;a framework for constructing peer-to-peer overlay networks in java;unit test support for java via reflection and annotations;three approaches to object evolution;parsing fortress syntax;a discipline of tree processing;automatic parallelization for graphics processing units;the use of hardware transactional memory for the trace-based parallelization of recursive java programs;parallelizing calling context profiling in virtual machines on multicores;and analyzing performance and dynamic behavior of embedded java software with calling-context cross-profiling.
the proceedings contain 30 papers. the topics discussed include: a distributed cognition account of mature XP teams;foundations of agile decision making from agile mentors and developers;software development as a coll...
详细信息
ISBN:
(纸本)3540350942
the proceedings contain 30 papers. the topics discussed include: a distributed cognition account of mature XP teams;foundations of agile decision making from agile mentors and developers;software development as a collaborative writing project;comparative analysis of job satisfaction in agile and non-agile software development teams;the collaborative nature of pair programming;leveraging code smell detection with inter-smell relations;studying the evolution of quality metrics in an agile/distributed project;the effect of test-driven development on program code;configuring hybrid agile-tradition software processes;agility in the avionics software world;security planning and refactoring in extreme programming;augmenting the agile planning toolbox;and storytelling in interaction: agility in practice.
the proceedings contain 38 papers. the topics discussed include: on matrices, automata, and double counting;characterization and automation of matching-based neighborhoods;rapid learning for binary programs;hybrid met...
ISBN:
(纸本)3642135196
the proceedings contain 38 papers. the topics discussed include: on matrices, automata, and double counting;characterization and automation of matching-based neighborhoods;rapid learning for binary programs;hybrid methods for the multileaf collimator sequencing problem;automatically exploiting subproblem equivalence in constraint programming;single-facility scheduling over long time horizons by logic-based benders decomposition;integrated maintenance scheduling for semiconductor manufacturing;a constraint programming approach for the service consolidation problem;solving connected subgraph problems in wildlife conservation;consistency check for the bin packing constraint revisited;an in-out approach to disjunctive optimization;a SAT encoding for multi-dimensional packing problems;job shop scheduling with setup times and maximal time-lags: a simple constraint programming approach;on the design of the next generation access networks;and vehicle routing for food rescue programs: a comparison of different approaches.
the proceedings contain 42 papers. the topics discussed include;agile software development in the large;effective measurement of the software process;test-driven J2EE: life outside the container;context driven agile p...
详细信息
the proceedings contain 42 papers. the topics discussed include;agile software development in the large;effective measurement of the software process;test-driven J2EE: life outside the container;context driven agile project leadership;hands-on teaching agile development;the extreme TDD and build experience: from acceptance tests to installation kit;from concepts to cash: deliver fast;agile system testing with texttest and xusecase;expressing business rules as executable specifications;planning effectively with stories: requirements & planning made easy;agile estimating and planning;team health indicators and holistic coaching;merciless refactoring with eclipse;AOSTA-agile open source tools academy;agile development with specific languages;patterns of adopting agile development practices;users stories foe agile requirements;value stream mapping;and how to deliver on the value proposition from real life XP projects.
the proceedings contain 84 papers. the special focus in this conference is on Principles and Practice of Constraint programming. the topics include: Hybrid benders decomposition algorithms in constraint logic programm...
ISBN:
(纸本)3540428631
the proceedings contain 84 papers. the special focus in this conference is on Principles and Practice of Constraint programming. the topics include: Hybrid benders decomposition algorithms in constraint logic programming;a hybrid framework integrating mixed integer programming and constraint logic programming;towards stochastic constraint programming;global cut framework for removing symmetries;capturing structure with satisfiability;phase transitions and backbones of 3-sat and maximum 3-sat;solving non-binary CSPS using the hidden variable encoding;a filtering algorithm for the stretch constraint;network flow problems in constraint programming;pruning for the minimum constraint family and for the number of distinct values constraint family;components for state restoration in tree search;constraint-based verification of client-server protocols;lower bounds for non-binary constraint optimization problems;a general scheme for multiple lower bound computation in constraint optimization;solving disjunctive constraints for interactive graphical applications;non-overlapping constraints between convex polytopes;formal models of heavy-tailed behavior in combinatorial search;in search of a phase transition in the ac-matching problem;a CLP approach to the protein side-chain placement problem;solving constraints over floating-point numbers;optimal pruning in parametric differential equations;an efficient filtering technique combining domain partition and arc consistency;the expressive power of binary linear programming;the traveling tournament problem description and benchmarks;structural constraint-based modeling and reasoning with basic configuration cells;solving Boolean satisfiability using local search guided by unit clause elimination and fast optimal instruction scheduling for single-issue processors with arbitrary latencies.
the proceedings contain 79 papers. the special focus in this conference is on Economics, Emergence, Complex Systems, Issues and Innovations in Evolutionary Computation. the topics include: A framework for evolutionary...
ISBN:
(纸本)3540648917
the proceedings contain 79 papers. the special focus in this conference is on Economics, Emergence, Complex Systems, Issues and Innovations in Evolutionary Computation. the topics include: A framework for evolutionary processes in semantic memory;preferential partner selection in evolutionary labor markets;subspace pursuit for exploratory modeling;evolutionary computing in multi-agent environments;evalution of a simple host-parasite genetic algorithm;testing three paradigms for evolving groups of cooperative, simple agents;acquisition of general adaptive features by evolution;hybrid interior-lagrangian penalty based evolutionary optimization;GA-optimal fitness functions;scaling up evolutionary programming algorithms;short notes on the schema theorem and the building block hypothesis in genetic algorithms;a superior evolutionary algorithm for 3-SAT;evolvable hardware control for dynamic reconfigurable and adaptive computing;evolutionary programming strategies with self-adaptation applied to the design of rotorcraft using parallel processing;optimization of thinned phased arrays using evolutionary programming;evolutionary domain covering of an inference system for function approximation;learning to re-engineer semantic networks using cultural algorithms;integration of slicing methods into a cultural algorithm in order to assist in large-scale engineering systems design;genetic search for object identification;fuzzy cultural algorithms with evolutionary programming;culturing evolution strategies to support the exploration of novel environments by an intelligent robotic agent;skeuomorphs and cultural algorithms;sphere operators and their applicability for constrained parameter optimization problems;numeric mutation as an improvement to symbolic regression in genetic programming and variable-dimensional optimization with evolutionary algorithms using fixed-length representations.
暂无评论