2827 search results - page 23 / 566 » Meta-programming for the real world |
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
MVA
1990
14 years 10 months ago
1990
In this paper attempts have been focused o n using window-tracking technlque to analyse human body movement.According to the behavlor of human vision systen,an Idea of rough and p...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Many results have been published in the literature based on performance measurements obtained from simulations of Vehicular Networks (VANETs). These simulations use as input tra...
COMPLEX
2009
Springer
15 years 4 months ago
2009
Springer
Although recent research has shown that the complexity of a network depends on its structural organization, which is linked to the functional constraints the network must satisfy, ...
ACNS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. What are the real security issues for a wireless sensor network (WSN) intended to monitor the structural health of a suspension bridge, a subway tunnel or a water distrib...