1036 search results - page 12 / 208 » Incompleteness of Behavioral Logics |
SAC
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we propose an extension of three incomplete depthfirst search techniques, namely depth-bounded backtrack search, credit search, and iterative broadening, towards pr...
OSDI
2002
ACM
14 years 9 months ago
2002
ACM
Farsite is a secure, scalable file system that logically functions as a centralized file server but is physically distributed among a set of untrusted computers. Farsite provides ...
105
click to vote
ICDE
2008
IEEE
15 years 8 months ago
2008
IEEE
Recently, there has been much interest in processing skyline queries for various applications that include decision making, personalized services, and search pruning. Skyline queri...
ISCAS
2007
IEEE
14 years 2 months ago
2007
IEEE
—This paper presents an incomplete settling design technique for switched-capacitor pipelined analog-to-digital converters (ADCs) to improve conversion rate. An improved multiply...
PROCEDIA
2010
13 years 3 months ago
2010
Ship simulators are used for training purposes and therefore have to calculate realistic wave patterns around the moving ship in real time. We consider a wave model that is based ...