The proceedings contain 7 papers. The topics discussed include: memetic algorithm for web service selection;model-driven performance engineering for wireless sensor networks with feature modeling and event calculus;de...
ISBN:
(纸本)9781450307338
The proceedings contain 7 papers. The topics discussed include: memetic algorithm for web service selection;model-driven performance engineering for wireless sensor networks with feature modeling and event calculus;description and composition of bio-inspired design patterns: the gradient case;methods for self-organizing distributed software;protein structure prediction using particle swarm optimization and a distributed parallel approach;discrete optimization problem solving with three variants of hybrid binary particle swarm optimization;and self-organized invasive parallel optimization.
The proceedings contain 6 papers. The topics discussed include: assessing the performance impact of using an active global address space in HPX: a case for AGAS;sequential codelet model of program execution - a super-...
ISBN:
(纸本)9781728159935
The proceedings contain 6 papers. The topics discussed include: assessing the performance impact of using an active global address space in HPX: a case for AGAS;sequential codelet model of program execution - a super-codelet model based on the hierarchical turing machine;ADVERT: an asynchronous runtime for fine-grained network systems.design and evaluation of shared memory communication benchmarks on emerging architectures using MVAPICH2;characterizing the performance of executing many-tasks on summit;and leveraging network-level parallelism with multiple process-endpoints for MPI broadcast.
The proceedings contains 35 papers. Topics discussed include databases, parallel processing systems.distributed computer systems. data processing, large scale systems. data transfer, data storage, storage allocation,...
详细信息
The proceedings contains 35 papers. Topics discussed include databases, parallel processing systems.distributed computer systems. data processing, large scale systems. data transfer, data storage, storage allocation, information management, computer architectures, computer operating systems.and data structures.
The proceedings contain 87 papers. The topics discussed include: area and power efficient 4-bit comparator design by using 1-bit full adder module;analytical study of load scheduling algorithms in cloud computing;util...
ISBN:
(纸本)9781479976836
The proceedings contain 87 papers. The topics discussed include: area and power efficient 4-bit comparator design by using 1-bit full adder module;analytical study of load scheduling algorithms in cloud computing;utilizing materialized views to formulate business intelligence;algorithmic approach for applying load balancing during task migration in multi??core system;mutated firefly algorithm;performance analysis of cloud based load balancing techniques;a smoothing based task scheduling algorithm for heterogeneous multi-cloud environment;segregated receive and relay scheme for communication in wireless sensor networks;a comparative study of local binary pattern descriptors and Gabor filter for electron microscopy image segmentation;and combinational feature selection approach for network intrusion detection system.
The proceedings contain 16 papers. The topics discussed include: event-based applications and enabling technologies;event-based systems. opportunities and challenges at exascale;distributed event stream processing wit...
ISBN:
(纸本)9781605586656
The proceedings contain 16 papers. The topics discussed include: event-based applications and enabling technologies;event-based systems. opportunities and challenges at exascale;distributed event stream processing with non-deterministic finite automata;distributed complex event processing with query optimization;a stratified approach for supporting high throughput event processing applications;MICS: an efficient content space representation model for publish/subscribe systems.viewpoints in complex event processing;rule parameter tuning using the prediction-correction paradigm;distributed agent environments in the ambient event calculus;a mediated publish-subscribe system for inter-institutional process support in healthcare;reliable publish/subscribe middleware for time-sensitive internet-scale applications;and processing publish/subscribe queries over distributed data streams.
The proceedings contain 29 papers. The special focus in this conference is on distributed, Parallel and Biologically Inspired systems. The topics include: Mastering conflicting trends in embedded systems.design;a lang...
ISBN:
(纸本)9783642152337
The proceedings contain 29 papers. The special focus in this conference is on distributed, Parallel and Biologically Inspired systems. The topics include: Mastering conflicting trends in embedded systems.design;a language for heterogeneous computations;scenario-based modeling in industrial information systems.an entirely model-based framework for hardware design and simulation;extending the standard execution model of UML for real-time systems.task migration for fault-tolerant flexray networks;flexible and dynamic replication control for interdependent distributed real-time embedded systems.generation of executable testbenches from natural language requirement specifications for embedded real-time systems.model checking of concurrent algorithms;integrate online model checking into distributed reconfigurable system on chip with adaptable OS services;efficient mutation-analysis coverage for constrained random verification;generating VHDL source code from UML models of embedded systems.a rapid, architectural simulation and synthesis framework for embedded processors;a mixed level simulation environment for stepwise RTOS software refinement;dependency-driven distribution of synchronous programs;distributed resource-aware scheduling for multi-core architectures with system C;robust partitioned scheduling for real-time multiprocessor systems.an infrastructure for flexible runtime reconfigurable multi-microcontroller systems.feature selection for classification using an ant system approach;a collaborative decision support model for marine safety and security operations and collaborating and learning predators on a pursuit scenario.
The proceedings contain 8 papers. The topics discussed include: the design of wren, a fast and scalable transactional causally consistent geo-replicated key-value store;pluto: the CrdT-driven IMAP server;compact reset...
ISBN:
(纸本)9781450349338
The proceedings contain 8 papers. The topics discussed include: the design of wren, a fast and scalable transactional causally consistent geo-replicated key-value store;pluto: the CrdT-driven IMAP server;compact resettable counters through causal stability;testing properties of weakly consistent programs with Repliss;borrowing an identity for a distributed counter;as secure as possible eventual consistency;bringing hybrid consistency closer to programmers;FMKe: a real-world benchmark for key-value data stores;and transparent cross-system consistency.
暂无评论