15779 search results - page 2924 / 3156 » Change-oriented software engineering |
117
click to vote
ARCS
2010
Springer
15 years 7 months ago
2010
Springer
This paper describes how a superscalar in-order processor must be modified to support Simultaneous Multithreading (SMT) such that time-predictability is preserved for hard real-ti...
100
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
94
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
111
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
109
Voted
CIMCA
2008
IEEE
15 years 7 months ago
2008
IEEE
The process of evaluating, classifying, and assigning bugs to programmers is a difficult and time consuming task which greatly depends on the quality of the bug report itself. It ...