3056 search results - page 209 / 612 » Open Implementation Analysis and Design |
252
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
134
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
133
click to vote
AAAI
1998
15 years 5 months ago
1998
We describe an architecture for exploring very large design spaces, for example, spaces that arise when design candidates are generated by combining components systematically from...
150
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
144
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
The use of Application Specific Instruction-set Processors (ASIP) is a solution to the problem of increasing complexity in embedded systems design. One of the major challenges in...