3637 search results - page 599 / 728 » On Dynamic Bit-Probe Complexity |
135
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Most new words, or neologisms, bubble beneath the surface of widespread usage for some time, perhaps even years, before gaining acceptance in conventional print dictionaries [1]. A...
157
Voted
CF
2007
ACM
15 years 4 months ago
2007
ACM
In recent years, highly accurate branch predictors have been proposed primarily for high performance processors. Unfortunately such predictors are extremely energy consuming and i...
120
Voted
COMPGEOM
2008
ACM
15 years 4 months ago
2008
ACM
This video illustrates an algorithm for computing a maximum number of disjoint paths for unit disks moving among a set of dynamic obstacles in the plane. The problem is motivated ...
144
Voted
REST
2010
ACM
15 years 4 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
117
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...