10238 search results - page 1899 / 2048 » Package-Based Software Development |
162
click to vote
LCTRTS
2007
Springer
16 years 18 days 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...
164
click to vote
LCTRTS
2007
Springer
16 years 18 days 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. ...
232
click to vote
MIDDLEWARE
2007
Springer
16 years 18 days 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...
153
click to vote
OOPSLA
2007
Springer
16 years 18 days 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...
182
click to vote
PPDP
2007
Springer
16 years 17 days 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...