1264 search results - page 84 / 253 » Designing Safe, Reliable Systems using Scade |
166
click to vote
SAS
1993
Springer
15 years 8 months ago
1993
Springer
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
194
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
Title of thesis: MEMORY OVERFLOW PROTECTION FOR EMBEDDED SYSTEMS USING RUN-TIME CHECKS, REUSE AND COMPRESSION Surupa Biswas, Master of Science, 2004 Thesis directed by: Assistant ...
146
Voted
ICPP
2007
IEEE
15 years 10 months ago
2007
IEEE
– Anonymous communication systems built on P2P infrastructures using anonymity forwarders are frequently affected by the churn problem, i.e. frequent joins and leaves of nodes. T...
122
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— One of the primary impediments to building ensembles with many modular robots is the complexity and number of mechanical mechanisms used to construct the individual modules. As...
140
click to vote
SAJ
2002
15 years 4 months ago
2002
No reliable method currently exists to safeguard the privacy of private information. Privacy policies are insufficient as compliance can not be enforced automatically. In this pap...