Sciweavers

1296 search results - page 126 / 260
» The Number Field Sieve
Sort
View
ACSC
2005
IEEE
15 years 6 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
91
Voted
TACAS
2005
Springer
106views Algorithms» more  TACAS 2005»
15 years 6 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...
107
Voted
FPL
2004
Springer
113views Hardware» more  FPL 2004»
15 years 6 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
124
Voted
IWSOC
2003
IEEE
137views Hardware» more  IWSOC 2003»
15 years 6 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, ...
85
Voted
IHM
2003
ACM
15 years 6 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ò