1285 search results - page 101 / 257 » Structural Operators for Modeling 3-Manifolds |
114
Voted
ICDE
2005
IEEE
15 years 9 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...
128
Voted
CTW
2006
15 years 3 months 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...
118
Voted
OSDI
2008
ACM
16 years 3 months 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...
120
Voted
FSEN
2007
Springer
15 years 9 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...
126
Voted
ICALP
2005
Springer
15 years 9 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...