1446 search results - page 249 / 290 » Formal analysis of hardware requirements |
IOLTS
2009
IEEE
14 years 2 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
ESTIMEDIA
2009
Springer
14 years 2 months ago
2009
Springer
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
ICCS
2009
Springer
14 years 2 months ago
2009
Springer
Many bioinformatics studies require the analysis of RNA or DNA structures. More specifically, extensive work is done to elaborate efficient algorithms able to predict the 2-D fold...
ICVS
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a computer vision system to detect card counters and dealer errors in a game of Blackjack from an overhead stereo camera. Card counting is becoming increasingl...
INDOCRYPT
2009
Springer
14 years 2 months ago
2009
Springer
Wireless sensor network (WSN) commonly requires lower level security for public information gathering, whilst body sensor network (BSN) must be secured with strong authenticity to...