2943 search results - page 207 / 589 » Software Implementation of Synchronous Programs |
238
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
167
click to vote
CASES
2003
ACM
15 years 8 months ago
2003
ACM
Programming multi-processor ASIPs, such as network processors, remains an art due to the wide variety of architectures and due to little support for exploring different implement...
140
Voted
ICPP
2002
IEEE
15 years 8 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
124
click to vote
AOSD
2005
ACM
15 years 9 months ago
2005
ACM
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...
129
click to vote
STEP
2003
IEEE
15 years 8 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...