5210 search results - page 118 / 1042 » Tools for Distributed Facilitation |
133
click to vote
AGTIVE
1999
Springer
15 years 8 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
132
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
In this paper, we present a functional partitioning method for low power real-time distributed embedded systems whose constituent nodes are systems-on-a-chip (SOCs). The systemlev...
144
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Microarray experiments, as well as other genomic analyses, often result in large gene sets containing up to several hundred genes. The biological significance of such ...
157
click to vote
IWFM
2000
15 years 5 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
119
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...