Sciweavers

1296 search results - page 126 / 260
» The Number Field Sieve
Sort
View
ACSC
2005
IEEE
15 years 11 months ago
Optimising Parallel Pattern-matching by Source-level Program Transformation
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
R. Lyndon While, Tony Field
TACAS
2005
Springer
106views Algorithms» more  TACAS 2005»
15 years 11 months ago
Dependent Types for Program Understanding
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
Raghavan Komondoor, Ganesan Ramalingam, Satish Cha...
FPL
2004
Springer
113views Hardware» more  FPL 2004»
15 years 11 months ago
An Evolvable Hardware Tutorial
Abstract. Evolvable Hardware (EHW) is a scheme - inspired by natural evolution, for automatic design of hardware systems. By exploring a large design search space, EHW may find so...
Jim Torresen
IWSOC
2003
IEEE
137views Hardware» more  IWSOC 2003»
15 years 11 months ago
Hardware Partitioning Software for Dynamically Reconfigurable SoC Design
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
Philippe Brunet, Camel Tanougast, Yves Berviller, ...
IHM
2003
ACM
15 years 11 months ago
Models for universal usability
This paper discusses how model-based approaches can support designers and developers to address a number of challenges raised by universal usability, such as the possibility of ob...
Fabio Paternò