320 search results - page 33 / 64 » Completing design in use: closing the appropriation cycle |
104
click to vote
CHES
2004
Springer
15 years 7 months ago
2004
Springer
Because of the rapidly shrinking dimensions in VLSI, transient and permanent faults arise and will continue to occur in the near future in increasing numbers. Since cryptographic c...
138
click to vote
ACTA
2010
15 years 2 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
124
click to vote
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
129
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Supervised learning for classification of cancer employs a set of design examples to learn how to discriminate between tumors. In practice it is crucial to confirm tha...
106
click to vote
TOG
2002
15 years 1 months ago
2002
Efficient algorithms for compressing geometric data have been widely developed in the recent years, but they are mainly designed for closed polyhedral surfaces which are manifold ...