3307 search results - page 339 / 662 » The meaning of concurrent programs |
164
Voted
ECOOP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
164
click to vote
PPAM
2005
Springer
16 years 8 days ago
2005
Springer
We propose a new framework, named Simple Interface for Library Collections (SILC), that gives users access to matrix computation libraries in a flexible and environment-independen...
151
click to vote
SIGCSE
2004
ACM
16 years 7 days ago
2004
ACM
Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...
180
click to vote
VMCAI
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
213
click to vote
WORDS
2003
IEEE
16 years 2 days ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...