8903 search results - page 35 / 1781 » Alternative |
CHES
2010
Springer
14 years 10 months ago
2010
Springer
We propose a new technique called stable-PUF-marking as an alternative to error correction to get reproducible (i.e. stable) outputs from physical unclonable functions (PUF). The ...
IJAC
2008
14 years 9 months ago
2008
This paper begins the development of a theory of what we will call symplectic alternating algebras. They have arisen in the study of 2-Engel groups but seem also to be of interest...
COMBINATORICS
2007
14 years 9 months ago
2007
Let Sn denote the symmetric group on [n] = {1, . . . , n}. A family I ⊆ Sn is intersecting if any two elements of I have at least one common entry. It is known that the only int...
JUCS
2006
14 years 9 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
PTS
2010
14 years 8 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...