10241 search results - page 1889 / 2049 » Goal-Driven Software Development |
105
click to vote
LCTRTS
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
109
Voted
LCTRTS
2007
Springer
15 years 7 months ago
2007
Springer
Existing methods place data or code in scratchpad memory, i.e., SPM by either relying on heuristics or resorting to integer programming or mapping it to a graph coloring problem. ...
149
click to vote
MIDDLEWARE
2007
Springer
15 years 7 months ago
2007
Springer
Reflective middleware provides an effective way to support adaptation in distributed systems. However, as distributed systems become increasingly complex, certain drawbacks of the...
92
Voted
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
116
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...