1140 search results - page 84 / 228 » Embedded Software: Better Models, Better Code |
172
click to vote
GLOBE
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
159
click to vote
ISHPC
2003
Springer
15 years 8 months ago
2003
Springer
Simultaneous multithreaded processors use shared on-chip caches, which yield better cost-performance ratios. Sharing a cache between simultaneously executing threads causes excessi...
116
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
130
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
146
click to vote
PROMISE
2010
14 years 10 months ago
2010
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...