10159 search results - page 1609 / 2032 » System Design Validation Using Formal Models |
213
click to vote
LCPC
2005
Springer
16 years 11 days ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
190
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...
229
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
CDMA2000, WCDMA and WiMAX are three widely used 3G technologies. Since they share the same goal, which is to provide broader coverage and higher throughput in 3G networks, an impar...
172
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
177
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...