6953 search results - page 196 / 1391 » Development Tools for Distributed Applications |
134
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: To interpret microarray experiments, several ontological analysis tools have been developed. However, current tools are limited to specific organisms. Results: We deve...
124
click to vote
ISHPC
2000
Springer
15 years 6 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
116
click to vote
CC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
160
click to vote
TACAS
1997
Springer
15 years 6 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
127
click to vote
TGC
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...