16159 search results - page 2850 / 3232 » Parallel computing with CUDA |
178
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deï...
163
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
177
click to vote
ASAP
2008
IEEE
16 years 1 months ago
2008
IEEE
Cooperative MIMO is a new technique that allows disjoint wireless communication nodes (e.g. wireless sensors) to form a virtual antenna array to increase bandwidth, reliability an...
160
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
—We formulate the service composition problem as a multi-objective stochastic program which simultaneously optimizes the following quality of service (QoS) parameters: workflow ...
151
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we present an autonomic web services architecture that manages both the performance of service containers and the interconnection of those containers into a servic...