An approach to program design and synthesis using algebraalgorithmic specifications and rewriting rules techniques is proposed. An algebra- algorithmic toolkit based on the approach allows building syntactically corre...
详细信息
An approach to program design and synthesis using algebraalgorithmic specifications and rewriting rules techniques is proposed. An algebra- algorithmic toolkit based on the approach allows building syntactically correct and easy-to-understand algorithm specifications. the term rewriting system supplements the algebra-algorithmic toolkit with facilities for transformation of the sequential and parallel algorithms, enabling their improvement.
LDPC codes have been intensively used in various wireless communication applications, due to their increased BER performance. the present paper summarizes the state of the art applications of short length LDPC codes a...
详细信息
Dynamic programming approach solves complex problems efficiently by breaking them down into simpler sub-problems, and is widely utilized in scientific computing. Withthe increasing data volume of scientific applicati...
详细信息
the proceedings contain 37 papers. the topics discussed include: improving VoIP over synchronized WLANs;a comparison of audio features for elementary sound based audio classification;solving quadratic assignment probl...
ISBN:
(纸本)9781479909223
the proceedings contain 37 papers. the topics discussed include: improving VoIP over synchronized WLANs;a comparison of audio features for elementary sound based audio classification;solving quadratic assignment problem in parallel using local search with simulated annealing elements;uni-temporal and bi-temporal table;educational portal with data mining support for pupils of primary schools;quality estimation of synthesized speech transmitted over IP channel using genetic programming approach;3D object characteristics computing in dynamic microscopic images;graph theory problems in the theory of design of digital devices;the method for ovarian cancer recurrence prediction based on computerized lymphangiogenesis morphometry of the D2-40 stained images;subpixel resolution satellite imaging technique;and multi-segment mapping of oil and gas deposit by high-dimensional spectrometric data.
Sharing the Semantic Web data in proprietary datasets in which data is encoded in RDF triples in a decentralized environment calls for efficient support from distributedcomputingtechnologies. the highly dynamic ad-h...
详细信息
Todays situation is characterized by an increasing pervasiveness of a plethora of mobile devices featuring different capabilities and exhibiting different system interfaces making the handling of these devices and esp...
详细信息
ISBN:
(纸本)9780769551593
Todays situation is characterized by an increasing pervasiveness of a plethora of mobile devices featuring different capabilities and exhibiting different system interfaces making the handling of these devices and especially the cooperation between different devices a complex task. In this paper, we consider the sum of all these devices as one emerging system (the swarm) and present an approach of a swarm operating system that on a systemic level manages these devices (local devices give up their autonomy) while providing a common interface to user applications. We provide a programming model for distributed mobile applicationsthat abstracts from error-prone aspects such as distribution and concurrency by giving the programmer a systemic view to system resources. the model allows the programmer to define actions that can be restricted in space and time. Together with a high level goal, an entire application emerges implicitly based on those defined actions. In order to execute such applications, we present an architecture for a runtime system that uses virtualization techniques in order to execute multiple independently developed applications in parallel. the system follows a service-oriented architecture: one of the core services is the space-time scheduler that plans applications (a set of actions) in time and space.
Many fields need computingthe similarity between objects, such as recommendation system, search engine etc. Simrank is one of the simple and intuitive algorithms. It is rigidly based on the random walk theorem. there...
详细信息
the inclusion of version control systems into computing curricula enables educators to promote competences needed in real-life situations. the use of a version control system also has several potential benefits for th...
详细信息
the Japanese-french FP3C (Framework and Programming for Post-Petascale computing) Project ANR/JST-2010- JTIC-003 aims at studying the software technologies, languages and programming models on the road to exascale com...
详细信息
ISBN:
(纸本)9781479924608
the Japanese-french FP3C (Framework and Programming for Post-Petascale computing) Project ANR/JST-2010- JTIC-003 aims at studying the software technologies, languages and programming models on the road to exascale computing. the ability to efficiency exploit these future systems is challenging because of their ultra large-scale and highly hierarchical architecture with computational nodes including many-core processors and accelerators. We give an overview of some of the main issues explored within the project.
the paper deal about the electrophysiology distributed data processing and analysis. the aim of the work was the distance computer environment for biomedical data processing services with effective data visualizing. T...
详细信息
ISBN:
(纸本)9783642409257;9783642409240
the paper deal about the electrophysiology distributed data processing and analysis. the aim of the work was the distance computer environment for biomedical data processing services with effective data visualizing. the system combine end user interactive interaction with biomedical data was realized withthe use of rapid calculating by FPGA technology. Combining of these technologies allows a vide range spectrum of users to quick access to proceed biomedical data. this article involved the possible topological proposal and implementation of that biomedical distributed signal processing system.
暂无评论