640 search results - page 88 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
118
click to vote
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
139
click to vote
REALWSN
2010
14 years 9 months ago
2010
Abstract. Environmental scientists frequently engage in "campaignstyle" deployments, where they visit a location for a relatively short period of time (several weeks to m...
132
click to vote
ASE
2002
15 years 2 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
125
click to vote
ICCBR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Very often a planning problem can be formulated as a ranking problem: i.e. to find an order relation over a set of alternatives. The ranking of a finite set of alternat...
140
click to vote
LCPC
2007
Springer
15 years 9 months ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...