707 search results - page 93 / 142 » Some Comments on the Coding of Programs |
153
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...
168
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...
163
click to vote
SOSP
2009
ACM
16 years 5 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...
111
click to vote
IEEEARES
2008
IEEE
15 years 9 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...