1880 search results - page 329 / 376 » A Static Analysis for Beta-Binders |
VLDB
1989
ACM
15 years 1 months ago
1989
ACM
In this paper, we show detailed analysis and performance evaluation of the Dynamic Hybrid GRACE Hash Join Method (DHGH Method) when the tuple distribution in buckets is unbalanced...
109
click to vote
CADE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
CCS
2009
ACM
15 years 1 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
SG
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we investigate how discourse context in the form of short-term memory can be exploited to automatically group consecutive strokes in digital freehand sketching. With...
107
click to vote
COSIT
2007
Springer
15 years 1 months ago
2007
Springer
Previous work is reviewed and an experiment described to examine the spatial and strategic cognitive factors impacting on human orientation in the `drop-off' static orientatio...