15416 search results - page 35 / 3084 » Embeddings of Computable Structures |
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
Many embedded applications exist where decisions are made using sensitive information. A critical issue in such applications is to ensure that data is accessed only by authorized ...
110
Voted
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
66
Voted
DCC
2010
IEEE
15 years 24 days ago
2010
IEEE
In this note, we characterize the Grassmann embedding of H(q), q even, as the unique full embedding of H(q) in PG(12, q) for which each ideal line of H(q) is contained in a plane....
115
click to vote
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
100
Voted
DLT
2010
15 years 2 months ago
2010
Abstract. Blocker and coblocker sets are regular languages involved in the algorithmic solution of the Regular Post Embedding Problem. We investigate the computability of these lan...