8083 search results - page 327 / 1617 » A Formalization of Software Architecture |
223
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
169
click to vote
FCCM
1999
IEEE
15 years 11 months ago
1999
IEEE
A significant obstacle to the widespread adoption of FPGAbased configurable computing hardware has been the difficulty of mapping applications onto this hardware. We are developin...
135
click to vote
HCI
2007
15 years 8 months ago
2007
Eastern and Western cultures differ quite systematically in how they group objects, functions and concepts into categories [1,2,3]. This has implications for how navigation feature...
210
click to vote
BIBE
2008
IEEE
16 years 1 months ago
2008
IEEE
— The Smith-Waterman algorithm is a dynamic programming method for determining optimal local alignments between nucleotide or protein sequences. However, it suffers from quadrati...