1675 search results - page 250 / 335 » Some thoughts on teaching programming and programming langua... |
142
Voted
SDL
2001
15 years 4 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
148
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...
122
click to vote
NPC
2010
Springer
15 years 1 months ago
2010
Springer
This paper introduces the DUP System, a simple framework for parallel stream processing. The DUP System enables developers to compose applications from stages written in almost any...
123
Voted
SAS
2010
Springer
15 years 1 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
178
click to vote
POST
2012
13 years 11 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...