1992 search results - page 340 / 399 » On the (limited) power of non-equivocation |
100
click to vote
HPCA
2005
IEEE
16 years 7 days ago
2005
IEEE
The use of large instruction windows coupled with aggressive out-oforder and prefetching capabilities has provided significant improvements in processor performance. In this paper...
CHI
2003
ACM
16 years 6 days ago
2003
ACM
In the past, most early hands-on users of interactive software in organizations were individual contributors. Managers as early adopters is a new trend with significant implicatio...
RECOMB
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In order to guarantee that the optimal motif is found, traditional pattern-driven approaches perform an exhaustive search over all candidate motifs of length l. We develo...
114
click to vote
CADE
2004
Springer
16 years 5 days ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
114
click to vote
SIGMOD
2003
ACM
16 years 11 hour ago
2003
ACM
Many applications employ sensors for monitoring entities such as temperature and wind speed. A centralized database tracks these entities to enable query processing. Due to contin...