2214 search results - page 80 / 443 » Initial Design of the |
DATE
1997
IEEE
14 years 23 hour ago
1997
IEEE
This paper presents a testability analysis and improvement technique for the controller of an RT level design. It detects hard-to-reachstates by analyzing both the data path and t...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
ACMDIS
2010
ACM
13 years 5 months ago
2010
ACM
In this paper, we examine the ideas behind and reactions to a prototype online tool designed, in-house, for an art college's interaction design department. The web-based prot...
JSAI
2001
Springer
14 years 7 days ago
2001
Springer
In this paper we propose a tool called FaintPop. It is a media designed for a community, with which the sense of connectedness can be shared among members. It is intended to be an ...
ESEM
2010
ACM
13 years 8 months ago
2010
ACM
Software designs decay over time. While most studies focus on decay at the system level, this research studies design decay on well understood micro architectures, design patterns...