7103 search results - page 925 / 1421 » Program Generation and Components |
163
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
161
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
170
click to vote
WCET
2010
15 years 4 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
285
Voted
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
The significant growth in computational power of modern Graphics Processing Units(GPUs) coupled with the advent of general purpose programming environments like NVIDA's CUDA,...
158
click to vote
COMSIS
2010
15 years 3 months ago
2010
The focus of this paper is on crafting a new visual language for attribute grammars (AGs), and on the development of the associated programming environment. We present a solution f...