Sciweavers

4586 search results - page 543 / 918
» Computing stable models in parallel
Sort
View
ISPDC
2003
IEEE
15 years 10 months ago
tuBiG - A Layered Infrastructure to Provide Support for Grid Functionalities
The paper presents a Java-based object-oriented system that offers a layered infrastructure to create the adequate framework for complex interactions between Grid components (e.g....
Lenuta Alboaie, Sabin C. Buraga, Sinica Alboaie
ISPDC
2003
IEEE
15 years 10 months ago
A Distributed Platform based on Web Services for Multimedia Resource Discovery
The paper describes ITW – a multi-platform and multilanguage architecture used to discover (multimedia) resources. The ITW system is based on Web services and software agents, e...
Sabin C. Buraga, Petrica Gabureanu
EUROPAR
2009
Springer
15 years 9 months ago
StarPU: A Unified Platform for Task Scheduling on Heterogeneous Multicore Architectures
Abstract. In the field of HPC, the current hardware trend is to design multiprocessor architectures that feature heterogeneous technologies such as specialized coprocessors (e.g., ...
Cédric Augonnet, Samuel Thibault, Raymond N...
IPL
2007
125views more  IPL 2007»
15 years 5 months ago
State explosion in almost-sure probabilistic reachability
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
François Laroussinie, Jeremy Sproston
165
Voted
PDCAT
2007
Springer
15 years 11 months ago
Privacy Preserving Set Intersection Protocol Secure against Malicious Behaviors
When datasets are distributed on different sources, finding out their intersection while preserving the privacy of the datasets is a widely required task. In this paper, we addre...
Yingpeng Sang, Hong Shen