7080 search results - page 517 / 1416 » Designing High Integrity Systems Using Aspects |
140
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
159
Voted
PADL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
140
Voted
TSD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a brand-new Slovak text-to-speech system. It was developed within the framework of ARTIC system (primarily designed to synthesize Czech speech) with r...
148
click to vote
ACMDIS
2006
ACM
15 years 11 months ago
2006
ACM
Reusing HCI design knowledge shows potential in allowing practitioners to design based on previously identified concerns. A reuse approach is presented that is based on claims, de...
130
click to vote
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
We describe our experiences with the Chubby lock service, which is intended to provide coarse-grained locking as well as reliable (though low-volume) storage for a loosely-coupled...