1938 search results - page 133 / 388 » Dependable Software |
106
click to vote
SCAM
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
139
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
155
click to vote
IWPSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software systems need to change over time to cope with new requirements, and due to design decisions, the changes happen to crosscut the system’s structure. Understanding how ch...
141
Voted
DAIS
2009
15 years 4 months ago
2009
Abstract. Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deploy...
126
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...