4890 search results - page 485 / 978 » From system specifications to component behavioral models |
209
click to vote
FORTE
1998
15 years 8 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
174
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
188
click to vote
DATE
2005
IEEE
16 years 25 days ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
240
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
We analyze the performance of protocols for load balancing in distributed systems based on no-regret algorithms from online learning theory. These protocols treat load balancing a...
195
click to vote
AEI
2008
15 years 7 months ago
2008
Long-term users of engineering product data are hampered by the ephemeral nature of CAD file formats and the applications that work with them. STEP, the Standard for the Exchange ...