221 search results - page 33 / 45 » Embedded Fingerprint Verification System |
261
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
118
click to vote
MDM
2007
Springer
15 years 8 months ago
2007
Springer
The engineering community has recently begun to adopt wireless sensing technologies for use in many sensing applications. These low-cost sensors provide an optimal setting for den...
123
click to vote
AAECC
2003
Springer
15 years 7 months ago
2003
Springer
A pirate is a person who buys a legal copy of a copyrighted work and who reproduces it to sell illegal copies. Artists and authors are worried as they do not get the income which i...
125
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...
111
Voted
EMSOFT
2010
Springer
14 years 12 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...