1140 search results - page 48 / 228 » Generating compilers for generated datapaths |
EUROPAR
2001
Springer
15 years 7 months ago
2001
Springer
Multipartitioning is a skewed-cyclic block distribution that yields better parallel efficiency and scalability for line-sweep computations than traditional block partitionings. Th...
100
click to vote
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
144
click to vote
PADL
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
DAC
2007
ACM
16 years 4 months ago
2007
ACM
The drive for low-power, high performance computation coupled with the extremely high design costs for ASIC designs, has driven a number of designers to try to create a flexible, ...
126
click to vote
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...