1264 search results - page 44 / 253 » Designing Safe, Reliable Systems using Scade |
103
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
123
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
112
click to vote
OSDI
2004
ACM
16 years 2 months ago
2004
ACM
The Domain Name System (DNS) is a ubiquitous part of everyday computing, translating human-friendly machine names to numeric IP addresses. Most DNS research has focused on server-...
126
click to vote
TCAD
2008
15 years 1 months ago
2008
Soft-error induced reliability problems have become a major challenge in designing new generation microprocessors. Due to the on-chip caches' dominant share in die area and tr...
SRDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract— In this paper, we consider the design of a reliable multicast facility over an unreliable multicast network. Our multicast facility has several interesting properties: ...