707 search results - page 100 / 142 » Solving path problems on the GPU |
ISCAS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents novel low-voltage high order single loop sigma-delta modulator structures for wideband applications. The proposed architectures employ the technique of double-...
107
click to vote
CSL
2003
Springer
15 years 5 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
102
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract. Real-time main-memory databases are useful in real-time environments. They are often faster and provide more predictable execution of transactions than disk-based databas...
106
click to vote
IAT
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...