distributed system emulators provide a paramount platform for testing of network protocols and distributed applications in clusters and networks of workstations. However, to allow testers to benefit from these systems...
详细信息
A new photo retrieval system for mobile devices is proposed in this paper. The system can be used to search for photos with similar spatial layout effectively and efficiently, and it adopts a new algorithm that extrac...
详细信息
The proceedings contain 37 papers. The topics discussed include: using integrative models in an advanced heterogeneous system simulation;CQML: aspect-oriented modeling for modularizing and weaving QoS concerns in comp...
ISBN:
(纸本)9780769536026
The proceedings contain 37 papers. The topics discussed include: using integrative models in an advanced heterogeneous system simulation;CQML: aspect-oriented modeling for modularizing and weaving QoS concerns in component-based systems;application capturing and performance estimation in an holistic design environment;raising the abstraction of domain-specific model translator development;a task tree executor: new runtime for parallelized legacy software;semantically enhanced containers for concurrent real-time systems;modeling and analysis of probabilistic timed systems;distributed BMC: a depth-first approach to explore clause symmetry;software architectural design meets security engineering;tradeoff and sensitivity analysis of a hybrid model for ranking commercial off-the-shelf products;a penny saved is a penny earned: applying optimization techniques to power management;and validating and dynamically adapting and composing features in concurrent product-lines applications.
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back et al. in order to describe parallel...
详细信息
ISBN:
(纸本)9783642103728
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back et al. in order to describe parallel and distributed computations of discrete systems, i.e. systems with discrete state space and discrete control. In order to cope with hybrid systems, i.e. systems with continuous evolution and discrete control, two extensions have been proposed: hybrid action systems and continuous action systems. Both use differential equations (relations) to describe continuous evolution. Our version of action systems takes an alternative approach by adding a. level of abstraction: continuous behavior is modeled by Qualitative Differential Equations that are the preferred choice when it;comes to specifying abstract and possibly non-deterministic requirements of continuous behavior. Because their solutions are transition systems, all evolutions in our qualitative action systems are discrete. Based on hybrid action systems, we develop a new theory of qualitative action systems and discuss how we have applied such models in the context of automated test-case generation for hybrid systems.
Quality-based routing protocols are proposed to restrict message flooding within only high quality nodes in delay tolerant networks (DTNs). However, different quality threshold mechanisms have diverse impact on the ne...
详细信息
The Internet and computers did not invent or even cause privacy issues. The issues existed long before the creation of computers and Internet. The existence of The Internet, computers and large data storage make it po...
详细信息
In this paper, we discuss the procedures how to make Viterbi decoder faster. The implementation in Intel CPU with SSE4 parallel processing instruction sets and some other methods achieves the decoding speed 47.05 Mbps...
详细信息
In this paper, we discuss the procedures how to make Viterbi decoder faster. The implementation in Intel CPU with SSE4 parallel processing instruction sets and some other methods achieves the decoding speed 47.05 Mbps (0.64 Mbps originally). The DVB-T mode used in Taiwan needs 13.27 Mbps to achieve real-time reception, so our implementation of software Viterbi decoder takes only 28% CPU loading.
String matching is one of hot spots in computer science. Many algorithms for string matching have been proposed, but designing an efficient and practical string matching architecture to satisfy high-speed data streami...
详细信息
Ant colony algorithm is an evolutionary optimization algorithm that simulates the foraging behavior of ant in nature, and it is distributed, parallel, robust and based on positive feedback. Basic principle of ant colo...
详细信息
Many parallel and distributed algorithms have been developed using such regular data structure as linear arrays, rings, trees, and meshes on hypercube-type interconnection networks. The augmented cube AQn, proposed by...
详细信息
暂无评论