1285 search results - page 101 / 257 » Structural Operators for Modeling 3-Manifolds |
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
We pose the question: how do we efficiently evaluate a join operator, distributed over a heterogeneous network? Our objective here is to optimize the delay of output tuples. We di...
97
Voted
CTW
2006
15 years 21 days ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
90
Voted
OSDI
2008
ACM
16 years 29 days ago
2008
ACM
We pose partitioning a b-bit Internet Protocol (IP) address space as a supervised learning task. Given (IP, property) labeled training data, we develop an IP-specific clustering a...
97
Voted
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
96
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...