331 search results - page 30 / 67 » HOLCF: Higher Order Logic of Computable Functions |
107
Voted
GI
2009
Springer
14 years 10 months ago
2009
Springer
: Networked systems that gather sensor data in order to react to phenomena in their surroundings are faced with a growing need for adaptive behavior to operate in dynamically chang...
112
Voted
JFP
2000
15 years 6 days ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
ASIACRYPT
2003
Springer
15 years 5 months ago
2003
Springer
This paper investigates some modular powering functions suitable for cryptography. It is well known that the Rabin encryption function is a 4-to-1 mapping and breaking its one-wayn...
106
click to vote
CAMP
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...
95
Voted
VLSID
2007
IEEE
16 years 25 days ago
2007
IEEE
Performance of an application can be improved through augmenting the processor with Application specific Functional Units (AFUs). Usually a cluster of operations identified from th...