707 search results - page 93 / 142 » Some Comments on the Coding of Programs |
126
Voted
CASES
2005
ACM
15 years 2 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...
137
Voted
DEDS
2000
15 years 13 days 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...
139
Voted
SOSP
2009
ACM
15 years 9 months 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...
82
Voted
IEEEARES
2008
IEEE
15 years 7 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...
104
Voted
KBSE
2007
IEEE
15 years 6 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...