the proceedings contain 194 papers. the topics discussed include: parallel iterative methods based on finite element approximate inverses on uniprocessor and multicomputer systems;acceleration of an element-by-element...
ISBN:
(纸本)9781905088249
the proceedings contain 194 papers. the topics discussed include: parallel iterative methods based on finite element approximate inverses on uniprocessor and multicomputer systems;acceleration of an element-by-element preconditioned conjugate gradient solver for three-dimensional tetrahedral finite elements using field programmable gate arrays;reliable performance prediction for parallel scientific software in a multi-cluster grid environment;a modular and efficient simulation environment for fluid-structure interactions with large domain deformation;quantification of uncertainty associated with low-fidelity simulations;unsteady adaptive stochastic finite elements for quantification of uncertainty in time-dependent simulations;modelling of the energy dissipation generated by friction in granular flow using the discrete element method;and the element embeddded interfaces approach for modelling damaged interfaces.
the proceedings contain 51 papers. the topics discussed include: a combined ant colony and differential evolution feature selection algorithm;ant colony optimization for energy-efficient broadcasting in ad-hoc network...
ISBN:
(纸本)3540875263
the proceedings contain 51 papers. the topics discussed include: a combined ant colony and differential evolution feature selection algorithm;ant colony optimization for energy-efficient broadcasting in ad-hoc networks;ant colony optimization for genome-wide genetic analysis;finding minimum spanning/distance trees by using river formation dynamics;gathering multiple robotic agents with crude distance sensing capabilities;integration of ACO in a constraint programming language;learning from house-hunting ants: collective decision-making in organic computingsystems;modeling phase transition in self-organized mobile robot flocks;molecular structure elucidation using ant colony optimization: a preliminary study;and the binary bridge selection problem: stochastic approximation and the convergence of a learning algorithm.
the proceedings contain 46 papers. the topics discussed include: concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design;a time-predictable system initialization design...
ISBN:
(纸本)9781605584706
the proceedings contain 46 papers. the topics discussed include: concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design;a time-predictable system initialization design for huge-capacity flash-memory storage systems;deterministic service guarantees for NAND flash using partial block cleaning;static analysis of processor stall cycle aggregation;application specific non-volatile primary memory for embedded systems;scratchpad allocation for concurrent embedded software;hardware/software partitioning of floating point software applications to fixed-pointed coprocessor circuits;a performance-oriented hardware/software partitioning for datapath applications;traversal caches: a first step towards FPGA acceleration of pointer-based data structures;and distributed and low-power synchronization architecture for embedded multiprocessors.
the proceedings contain 29 papers. the topics discussed include: new clues on fission dynamics from systems of intermediate fissility;dynamics of capture quasifission and fusion-fission competition;the processes of fu...
ISBN:
(纸本)9812837523
the proceedings contain 29 papers. the topics discussed include: new clues on fission dynamics from systems of intermediate fissility;dynamics of capture quasifission and fusion-fission competition;the processes of fusion-fission and quasi-fission of superheavy nuclei;fusion of heavy ions at extreme sub-barrier energies;fusion and fission dynamics of heavy nuclear system;time-dependent potential energy for fusion and fission processes;advances in the understanding of structure and production mechanisms for superheavy elements;fission barriers of heaviest nuclei;possibility of synthesizing doubly magic superheavy nuclei;production of neutron-rich nuclei in the nucleus-nucleus collisions around the ferrrti energy;and new insight into the fission process from experiments with relativistic heavy-ion beams.
the proceedings contain 19 papers. the topics discussed include: programming multicores with Kahn process networks;a choice;arithmetic circuits verification without looking for internal equivalences;from data to event...
详细信息
ISBN:
(纸本)9781424424177
the proceedings contain 19 papers. the topics discussed include: programming multicores with Kahn process networks;a choice;arithmetic circuits verification without looking for internal equivalences;from data to events: checking properties on the control of a system;vacuity analysis by fault simulation;rule-based approaches for equivalence checking of specC programs;static deadlock detection for the SHIM concurrent language;a comparison of two systemC/TLM semantic for formal verification;latency-insensitive hardware/software interfaces;directed-logical testing for functional verification of microprocessors;estimating the performance of cache replacement policies;and on the deterministic multi-threaded software synthesis for polychronous specifications.
the proceedings contain 39 papers. the topics discussed include: new technique for categorization of power quality disturbances;impact of power quality parameters on the economic transformer load;analysis of power con...
ISBN:
(纸本)9781424425006
the proceedings contain 39 papers. the topics discussed include: new technique for categorization of power quality disturbances;impact of power quality parameters on the economic transformer load;analysis of power consumption and losses in relation to supply voltage levels;investigation of harmonic effect in Turkey's iron-steel industry;design of electrical infrastructure at container terminal and 'net metering';integration of wide area monitoring technology and enhancement of power system reliability in Baltic power system;evaluation of a power quality monitoring system;monitoring of the technical condition of the power supply system's equipment and operating reliability;analytical method for investigation of three-phase converter systems in steady state operation based on space phasors;and strategies to handle unsymmetrical grid faults by voltage source inverters.
the proceedings contains 11 papers. the topics discussed include: developing a SSE-CMM-based security risk assessment process for patient-centered healthcare systems;an approach for continuous inspection of source cod...
ISBN:
(纸本)9781605580234
the proceedings contains 11 papers. the topics discussed include: developing a SSE-CMM-based security risk assessment process for patient-centered healthcare systems;an approach for continuous inspection of source code;quality software development: what do we need to improve in the software development process;investigating test-and-fix processes of incremental development using hybrid process simulation;managing quality requirements using activity-based quality models;towards a generic model for software quality prediction;cultural influences and differences in software process improvement programs;a QoS-based service acquisition model for IS services;an effort and time based measure of usability;a metric-based approach for reconstructing methods in object-oriented systems;and ontology-supported quality assurance for component-based systems configuration.
the proceedings contain 36 papers. the topics discussed include: hiding information in completeness holes: new perspectives in code obfuscation and watermarking;nullness analysis in Boolean form;widening operators for...
ISBN:
(纸本)9780769534374
the proceedings contain 36 papers. the topics discussed include: hiding information in completeness holes: new perspectives in code obfuscation and watermarking;nullness analysis in Boolean form;widening operators for abstract interpretation;static analysis of the determinism of multithreaded programs;cheap and small counterexamples;efficient model checking for duration calculus based on branching-time approximations;flash-efficient LTL model checking with minimal counterexamples;compositional reasoning in model-based verification of adaptive embedded systems;extracting conditional confidentiality policies;testing privacy policies using models;preservation of proof obligations for hybrid verification methods;a generalized model-based test generation method;verification-based test case generation for full feasible branch coverage;and tagging make local testing of message-passing systems feasible.
the proceedings contain 42 papers. the topics discussed include: transaction rate limiters for peer-to-peer systems;incentives against hidden action in QoS overlays;securing peer-to-peer content sharing service from p...
ISBN:
(纸本)9780769533186
the proceedings contain 42 papers. the topics discussed include: transaction rate limiters for peer-to-peer systems;incentives against hidden action in QoS overlays;securing peer-to-peer content sharing service from poisoning attacks;popularity-aware prefetch in P2P range caching;query workload driven summarization for P2P query routing;Chordella- a hierarchical peer-to-peer overlay implementation for heterogeneous, mobile environments;visualizing transactional algorithms for DHTs;a NAT traversal mechanism for peer-to-peer networks;P2P information retrieval and filtering with MAPS;hierarchical codes: how to make erasure codes attractive to peer-to-peer storage systems;EAD: an efficient and adaptive decentralized file replication algorithm in P2P file sharing systems;and towards an incentive mechanism for peer-to-peer multimedia live streaming systems.
the proceedings contain 37 papers. the topics discussed include: measuring the social ability of software agents;message streaming network components architecture and in-network programming model;automated deployment ...
ISBN:
(纸本)9780769533025
the proceedings contain 37 papers. the topics discussed include: measuring the social ability of software agents;message streaming network components architecture and in-network programming model;automated deployment of distributed software components with fault tolerance guarantees;a study on design for testability in component-based embedded software;an analysis of missed structure field handling bugs;modeling and validation of executable requirements using live activity diagrams;on model-driven development of mobile business processes;parallel implementation of DPCM decoding for SMP systems;compliance of CMMI process area with specification based development;the use of object orientation to define process models;towards formalization and verification of unified business process model based on Pi calculus;and adaptation of refactoring strategies to multiple axes of modularity: characteristics and criteria.
暂无评论