1054 search results - page 190 / 211 » Models for automatic generation of safety-critical real-time... |
101
Voted
JCDL
2003
ACM
15 years 2 months ago
2003
ACM
The increasing power of techniques to model complex geometry and extract meaning from 3D information create complex data that must be described, stored, and displayed to be useful...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Road network information (RNI) simplifies autonomous driving by providing strong priors about driving environments. Its usefulness has been demonstrated in the DARPA U...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
66
Voted
SIGCOMM
2009
ACM
15 years 4 months ago
2009
ACM
Large, socially-driven Web 2.0 sites such as Facebook and Youtube have seen significant growth in popularity [5, 10]. However, strong demand also exists for socially-driven web s...
123
click to vote
ICCS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...