Sciweavers

3330 search results - page 266 / 666
» software 2010
Sort
View
100
Voted
SEKE
2010
Springer
14 years 11 months ago
Distributed and Adaptive Execution of Condor DAGMan Workflows
— Large-scale applications, in the form of workflows, may require the coordinated usage of resources spreading across multiple administrative domains. Scalable solutions need a d...
Selim Kalayci, Gargi Dasgupta, Liana Fong, Onyeka ...
134
Voted
SERA
2010
Springer
14 years 11 months ago
A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
Mohammed Nadhmi Miladi, Fatma Krichen, Mohamed Jma...
110
Voted
VLSI
2010
Springer
14 years 11 months ago
Design and feasibility of multi-Gb/s quasi-serial vertical interconnects based on TSVs for 3D ICs
—This paper proposes a novel technique to exploit the high bandwidth offered by through silicon vias (TSVs). In the proposed approach, synchronous parallel 3D links are replaced ...
Fengda Sun, Alessandro Cevrero, Panagiotis Athanas...
110
Voted
FSTTCS
2010
Springer
14 years 10 months ago
On extracting computations from propositional proofs (a survey)
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
Pavel Pudlák
118
Voted
TASE
2010
IEEE
14 years 7 months ago
Sensor Placement for Triangulation-Based Localization
Robots operating in a workspace can localize themselves by querying nodes of a sensor-network deployed in the same workspace. This paper addresses the problem of computing the min...
Onur Tekdas, Volkan Isler