1835 search results - page 285 / 367 » Functional Programming of Behavior-Based Systems |
131
click to vote
SPIN
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
143
click to vote
ICDAR
2009
IEEE
15 years 7 days ago
2009
IEEE
MATLAB provides a powerful environment for rapid prototyping of research methods and techniques. Across the wide range of on-line pen computing applications there exists a series ...
136
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
124
click to vote
BMCBI
2002
15 years 2 months ago
2002
Background: SeqHound has been developed as an integrated biological sequence, taxonomy, annotation and 3-D structure database system. It provides a high-performance server platfor...
134
Voted
TOMS
1998
15 years 2 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...