Sciweavers

14078 search results - page 369 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
ICLP
2003
Springer
15 years 12 months ago
Computing Minimal Models, Stable Models, and Answer Sets
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
Zbigniew Lonc, Miroslaw Truszczynski
GRID
2006
Springer
15 years 6 months ago
A Decentralized Computational Infrastructure for Grid-Based Parallel Asynchronous Iterative Applications
Abstract Parallel asynchronous iterative algorithms relax synchronization and communication requirements, and can potentially extend Desktop Grids beyond embarrassingly parallel ap...
Zhen Li, Manish Parashar
IEEEVAST
2010
15 years 1 months ago
Interactive visual analysis of multiobjective optimizations
Optimization problems are typically addressed by purely automatic approaches. For multi-objective problems, however, a single best solution often does not exist. In this case, it ...
Wolfgang Berger, Harald Piringer
IPPS
2006
IEEE
16 years 24 days ago
A design environment for mobile applications
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
Stephen Gilmore, Valentin Haenel, Jane Hillston, J...
ICUMT
2009
15 years 4 months ago
A new approach to the design of wireless data broadcasting systems: An analysis-based cost-effective scheme
Abstract--A new approach to the design of wireless data broadcasting systems is introduced. The proposed approach is based on the mathematical analysis of the aforementioned system...
Christos Liaskos, Sophia G. Petridou, Georgios I. ...