707 search results - page 93 / 142 » Some Comments on the Coding of Programs |
154
Voted
CASES
2005
ACM
15 years 5 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
169
Voted
DEDS
2000
15 years 3 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
164
Voted
SOSP
2009
ACM
16 years 11 days ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
113
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
124
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...