1926 search results - page 269 / 386 » Modeling and Model Checking Software Product Lines |
177
Voted
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
147
click to vote
STTT
2010
14 years 11 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
165
click to vote
IJHPCA
2011
14 years 11 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...
169
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
146
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...