2477 search results - page 442 / 496 » Parallelizing Functional Programs by Generalization |
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
The evolution of the Web requires to consider an increasing number of context-dependency issues. Therefore, in our research we focus on how to extend a Web application with additi...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
CHES
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a design-space exploration of an applicationspecific instruction-set processor (ASIP) for the computation of various cryptographic pairings over Barre...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
Recent years have seen the evolution of networks of tiny low power computing blocks, known as sensor networks. In one class of sensor networks, a non-expert user, who has little o...