885 search results - page 107 / 177 » Large-scale behavioral targeting |
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we introduce a new hexapedal locomotion controller that simulation evidence suggests will be capable of driving our RHex robot at speeds exceeding five body length...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
ECRTS
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
ASPDAC
1999
ACM
15 years 2 months ago
1999
ACM
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....
PRDC
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper evaluates the behavior of a common off-theshelf (COTS) database management system (DBMS) in presence of transient faults. Database applications have traditionally been ...