The proceedings contain 44 papers. The topics discussed include: stabilization enabling technology;a general characterization of indulgence;coverage, connectivity, and fault tolerance measures of wireless sensor netwo...
详细信息
ISBN:
(纸本)3540490183
The proceedings contain 44 papers. The topics discussed include: stabilization enabling technology;a general characterization of indulgence;coverage, connectivity, and fault tolerance measures of wireless sensor networks;a case study on prototyping power management protocols for sensor networks;unconscious eventual consistency with gossips;all k-bounded policies are equivalent for self stabilization;a 1-strong self stabilizing transformer;optimal message driven implementation of omega with mute processes;incremental synthesis of fault tolerant real time programs;toward a time optimal odd phase clock unison in trees;recovery oriented programming;evaluation of a tracking architecture in wireless sensor networks;self protection for distributed component-based applications;from self-to snap-stabilization;self stabilizing philosophers with generic conflicts;selfish stabilization;and reliability and availability analysis of self-stabilizing systems.
Functional validation is a major bottleneck in hardware design. Two main approaches to ensure functional correctness of hardware systems are based on formal verification and simulation techniques. It is widely recogni...
详细信息
Concurrent systems work nondeterministically. For concurrent systems, UniTESK-based test suite executes methods with different parameters in different states, but it does not guarantee that all possible execution path...
详细信息
The proceedings contain 21 papers. The topics discussed include: automatic checking of component protocols in component-based systems;checking component composability;static verification of indirect data sharing in lo...
详细信息
ISBN:
(纸本)3540376577
The proceedings contain 21 papers. The topics discussed include: automatic checking of component protocols in component-based systems;checking component composability;static verification of indirect data sharing in loosely-coupled component systems;automated pattern-based pointcut generation;an aspect-oriented approach for developing self-adaptive fractal components;aspects of composition in the reflex AOP Kernel;a component-based approach to compose transaction standards;service composition with directories;modeling composition in dynamic programming environments with model transformations;general composition of software artifacts;dimensions of composition models for supporting software evolution;understanding design patterns density with aspects;a model for developing component-based and aspect-oriented systems;modular design of man-machine interfaces with Larissa;and automatic control flow generation from software architectures.
The proceedings contain 44 papers. The topics discussed include: the numerical stability of kernel methods;a hybrid approach to NER by integrating manual rules into MEMM;non-monotonic negation in hybrid probabilistic ...
The proceedings contain 44 papers. The topics discussed include: the numerical stability of kernel methods;a hybrid approach to NER by integrating manual rules into MEMM;non-monotonic negation in hybrid probabilistic logic programs;symmetric primal-dual approximate linear programming for factored MDPs;a semi-algebraic description of discrete naive bayes models with two hidden classes;causal inference by choosing graphs with most plausible Markov kernels;quartet-based learning of hierarchical latent class models: discovery of shallow latent variables;towards a unified theory of state abstraction for MDPs;detecting low complexity clusters by skewness and kurtosis in data stream clustering;the cooperative behavior of a human work group: a distributed learning approach;backbone guided dynamic local search for propositional satisfiability;and security in multiagent systems by policy randomization.
LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libr...
In this paper the improvement in the performance obtained by a Time Interleaving applied to DVB-T scheme are analyzed in impulsive noise environments. The performance is evaluated in terms of bit error rate probabilit...
详细信息
High-level synthesis is becoming more popular as design densities keep increasing, especially in the ASIC design world. Although FPGA design follows ASIC design methodologies and FPGA densities are increasing too, pro...
详细信息
The proceedings contain 40 papers. The topics discussed include: a rule-based publish-subscribe message routing system for ubiquitous computing;exploiting eye gaze information for operating services in home network sy...
详细信息
ISBN:
(纸本)3540462872
The proceedings contain 40 papers. The topics discussed include: a rule-based publish-subscribe message routing system for ubiquitous computing;exploiting eye gaze information for operating services in home network system;3D space handwriting recognition with Ligature model;scenario-based design of ambient intelligence;implementation of telematics with context-aware agent framework;clock offsets on TDOA localization;context-dependent task computing in pervasive environment;semantic information retrieval in the COMPASS location system;an inference engine for personalized content adaptation in heterogeneous mobile environment;dynamic clustering for object tracking in wireless sensor networks;an ultra low power medium access control protocol with the dividend preamble sampling;a service conflict resolution algorithm based on virtual personal world;exploiting passive advantages of sentiment artefacts;and scenario-based programming for ubiquitous applications.
The proceedings contain 44 papers. The topics discussed include: a unified scheduling algorithm for grid applications;a proposal and evaluation of a mechanism for grid ontology merge;a study on job Co-allocation in mu...
详细信息
ISBN:
(纸本)0769525822
The proceedings contain 44 papers. The topics discussed include: a unified scheduling algorithm for grid applications;a proposal and evaluation of a mechanism for grid ontology merge;a study on job Co-allocation in multiple HPC clusters;an efficient approach for resource set-matching in grid computing configurations;distributed data mining on virtual clusters;a new paradigm for parallel I/O to resilient network storage;design, deployment and bench of a large infiniband HPC cluster;toward a software infrastructure for the cyclops-64 cellular architecture;the snowflakes distributed computing system;designing and reconfiguring fault-tolerant hypercubes;understanding the parallel programmer;transparent distributed programming under linux;connecting researchers to HPCS through web services;evaluation of knapsack-based scheduling using the NPACIJOBLOG;and domain decomposition of stochastic PDEs and its parallel implementation.
暂无评论