1236 search results - page 174 / 248 » Rapid Prototyping of Embedded Hardware Software Systems |
DSD
2008
IEEE
14 years 2 months ago
2008
IEEE
Ultra low power digital systems are key for any future wireless sensor nodes but also inside nomadic embedded systems (such as inside the digital front end of software defined rad...
CODES
2002
IEEE
14 years 29 days ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
DAGM
2006
Springer
13 years 10 months ago
2006
Springer
In the last twenty years many approaches for contact-free measurement techniques for object surfaces and approaches for 3d object reconstruction have been proposed; but often they ...
INTEGRATION
2007
13 years 8 months ago
2007
The ubiquitous presence of mobile devices and the demand for better performance and efficiency have motivated research into embedded implementations of cryptography algorithms. I...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
There is a growing concern about the increasing vulnerability of future computing systems to errors in the underlying hardware. Traditional redundancy techniques are expensive for...