6274 search results - page 336 / 1255 » Proofs, Programs, Processes |
142
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...
198
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...
528
click to vote
Book
"A compiler translates (or compiles) a program written in a highlevel
programming language that is suitable for human programmers into
the low-level machine language that is...
214
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
174
click to vote
ITICSE
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we present a new learning environment to be used in an introductory programming course for students that are non-majors in computer science, more precisely for multi...