5111 search results - page 925 / 1023 » The Embedded Systems Design Challenge |
103
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
163
click to vote
APAQS
2001
IEEE
15 years 8 months ago
2001
IEEE
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
146
Voted
RELMICS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
134
Voted
EDBTW
2010
Springer
15 years 8 months ago
2010
Springer
The success of organizations or business networks depends on fast and well-founded decisions taken by the relevant people in their specific area of responsibility. To enable time...
139
Voted
AIRWEB
2008
Springer
15 years 6 months ago
2008
Springer
Combating Web spam has become one of the top challenges for Web search engines. State-of-the-art spam detection techniques are usually designed for specific known types of Web spa...