3056 search results - page 425 / 612 » Compiling Embedded Languages |
214
click to vote
ICLP
2011
Springer
14 years 9 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
175
click to vote
ICSE
2011
IEEE-ACM
14 years 9 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
174
Voted
POPL
2011
ACM
14 years 9 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
156
click to vote
BIRTHDAY
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
162
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...