742 search results - page 75 / 149 » Set-based Concurrent Engineering |
123
click to vote
FASE
2005
Springer
15 years 8 months 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...
119
click to vote
RISE
2005
Springer
15 years 8 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
112
click to vote
VMCAI
2005
Springer
15 years 7 months 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...
118
click to vote
PPPJ
2004
ACM
15 years 7 months 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...
111
click to vote
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
—A new parallel programming framework for DNA sequence alignment in homogeneous multi-core processor architectures is proposed. Contrasting with traditional coarse-grained parall...