1264 search results - page 194 / 253 » Designing Safe, Reliable Systems using Scade |
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
In recent research, we have proposed a high-accuracy bottom-up detection-based paradigm for continuous phone speech recognition. The key component of our system was a bank of arti...
105
click to vote
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
132
click to vote
INTERNET
2002
15 years 1 months ago
2002
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
120
click to vote
FAST
2009
14 years 11 months ago
2009
Transactions offer a powerful data-access method used in many databases today trough a specialized query API. User applications, however, use a different fileaccess API (POSIX) wh...
116
click to vote
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
Thermal effects are becoming increasingly important during integrated circuit design. Thermal characteristics influence reliability, power consumption, cooling costs, and performan...