3837 search results - page 238 / 768 » Concurrent Engineering support in Software Engineering |
187
click to vote
QSIC
2006
IEEE
16 years 1 months ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
183
Voted
ADAEUROPE
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
195
Voted
FASE
2005
Springer
16 years 19 days ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
182
click to vote
VMCAI
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
196
Voted
PPPJ
2004
ACM
16 years 16 days ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...