3443 search results - page 556 / 689 » More Algebras for Determiners |
ISSTA
2010
ACM
13 years 12 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
FPGA
2000
ACM
13 years 12 months ago
2000
ACM
In this paper we present a "high-level" FPGA architecture description language which lets FPGA architects succinctly and quickly describe an FPGA routing architecture. W...
PLDI
1995
ACM
13 years 11 months ago
1995
ACM
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to the direct cost of method lookup and to the indirect effect of preventing othe...
CEC
2009
IEEE
13 years 11 months ago
2009
IEEE
— Humans are inclined to engage in long-lasting relationships whose stability does not only rely on cooperation, but often also on loyalty — our tendency to keep interacting wi...
MOBISYS
2010
ACM
13 years 10 months ago
2010
ACM
Many emerging smartphone applications require position information to provide location-based or context-aware services. In these applications, GPS is often preferred over its alte...