853 search results - page 108 / 171 » New test approach for embedded applications |
172
click to vote
SENSYS
2010
ACM
14 years 11 months ago
2010
ACM
As sensor network technologies become more mature, they are increasingly being applied to a wide variety of applications, ranging from agricultural sensing to cattle, oceanic and ...
106
click to vote
CARS
2003
15 years 2 months ago
2003
A new augmented reality apparatus was evaluated. The device uses scanned infrared and visible lasers to project computer generated information such as surgical plans, entry pints f...
128
click to vote
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
126
click to vote
IWANN
1995
Springer
15 years 5 months ago
1995
Springer
1 This paper presents a new technique for the design of real-time controllers based on a hybrid approach which integrates several control strategies, such as intelligent controlle...
ENTCS
2008
15 years 1 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...