366 search results - page 69 / 74 » Model-checking higher-order functions |
110
Voted
ACISP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper, we study GF-NLFSR, a Generalized Unbalanced Feistel Network (GUFN) which can be considered as an extension of the outer function FO of the KASUMI block cip...
117
click to vote
GLVLSI
2006
IEEE
15 years 5 months ago
2006
IEEE
Process technology and environment-induced variability of gates and wires in VLSI circuits make timing analyses of such circuits a challenging task. Process variation can have a s...
118
click to vote
CIKM
2000
Springer
15 years 4 months ago
2000
Springer
—As databases increasingly integrate different types of information such as multimedia, spatial, time-series, and scientific data, it becomes necessary to support efficient retri...
123
click to vote
SI3D
2010
ACM
14 years 11 months ago
2010
ACM
Irradiance normal mapping is a method to combine two popular techniques, light mapping and normal mapping, and is used in games such as Half-Life 2 or Halo 3. This combination all...
121
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...