1264 search results - page 157 / 253 » Designing Safe, Reliable Systems using Scade |
130
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
132
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. CG, SYMMLQ, and MINRES are Krylov subspace methods for solving large symmetric systems of linear equations. CG (the conjugate-gradient method) is reliable on positive-def...
136
click to vote
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
A pervasive requirement of distributed systems is to deal with churn — change in the set of participating nodes due to joins, graceful leaves, and failures. A high churn rate ca...
150
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...
140
click to vote
EOR
2008
15 years 4 months ago
2008
Group Technology (GT) is a useful way of increasing the productivity for manufacturing high quality products and improving the flexibility of manufacturing systems. Cell formation...