4048 search results - page 744 / 810 » Design Science, Engineering Science and Requirements Enginee... |
CGO
2010
IEEE
15 years 4 months ago
2010
IEEE
Cross-core application interference due to contention for shared on-chip and off-chip resources pose a significant challenge to providing application level quality of service (Qo...
WCRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
144
click to vote
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
118
click to vote
IWCMC
2010
ACM
15 years 4 months ago
2010
ACM
The first step required by the process of cognition is the intelligent observation of the environment that surrounds the actors of such a process. We present the CalRAdio-Based a...
127
click to vote
FOSSACS
2001
Springer
15 years 3 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...