11397 search results - page 248 / 2280 » A Relational Abstraction for Functions |
187
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
187
click to vote
LOPSTR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
151
click to vote
XPU
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...
178
click to vote
TRUST
2010
Springer
16 years 9 days ago
2010
Springer
us Transfer based on Physical Unclonable Functions (Extended Abstract)" Session 2 (Tuesday 15:00 - 16:30) Place: „Salon Tiergarten“ 15:00-15:30 Patrick Koeberl (Intel; Ire...
163
click to vote
VTS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract: This paper presents a notation for describing functional fault models, which may occur in memory devices. Using this notation, the space of all possible memory faults has...