Sciweavers

8125 search results - page 1246 / 1625
» Parallelism and evolutionary algorithms
Sort
View
CONCUR
2005
Springer
16 years 8 days ago
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
Ahmed Bouajjani, Markus Müller-Olm, Tayssir T...
200
Voted
DCOSS
2005
Springer
16 years 8 days ago
Multi-query Optimization for Sensor Networks
The widespread dissemination of small-scale sensor nodes has sparked interest in a powerful new database abstraction for sensor networks: Clients “program” the sensors through ...
Niki Trigoni, Yong Yao, Alan J. Demers, Johannes G...
HIPC
2005
Springer
16 years 7 days ago
Cost-Optimal Job Allocation Schemes for Bandwidth-Constrained Distributed Computing Systems
Abstract. This paper formulates the job allocation problem in distributed systems with bandwidth-constrained nodes. The bandwidth limitations of the nodes play an important role in...
Preetam Ghosh, Kalyan Basu, Sajal K. Das
HPCC
2005
Springer
16 years 7 days ago
High Performance Subgraph Mining in Molecular Compounds
Structured data represented in the form of graphs arises in several fields of the science and the growing amount of available data makes distributed graph mining techniques partic...
Giuseppe Di Fatta, Michael R. Berthold
ISPA
2005
Springer
16 years 7 days ago
CMSA: A Method for Construction and Maintenance of Semantic Annotations
An important precondition for the success of the Semantic Web is founded on the principle that the content of web pages will be semantically annotated. In this paper, we propose a ...
Lixin Han, Guihai Chen, Linping Sun, Li Xie
« Prev « First page 1246 / 1625 Last » Next »