2629 search results - page 140 / 526 » complex 2009 |
109
Voted
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
As the Extensible Markup Language (XML) rapidly establishes itself as the de facto standard for presenting, storing, and exchanging data on the Internet, large volume of XML data ...
72
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
76
Voted
SPAA
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we explore the problem of mapping filtering streaming applications on large-scale homogeneous platforms, with a particular emphasis on communication models and thei...
103
click to vote
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...
ICPP
2009
IEEE
15 years 7 months ago
2009
IEEE
—We present an inter-architectural comparison of single- and double-precision direct n-body implementations on modern multicore platforms, including those based on the Intel Neha...