80 search results - page 7 / 16 » An Extensible Interpreter Framework for Software Transaction... |
135
Voted
FATES
2004
Springer
15 years 9 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
159
Voted
NOCS
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a methodology to debug a SOC by concentrating on its communication. Our extended communication model includes a) multiple signal groups per interface protocol at each I...
118
Voted
ISCA
2010
IEEE
15 years 8 months ago
2010
IEEE
As technology scales ever further, device unreliability is creating excessive complexity for hardware to maintain the illusion of perfect operation. In this paper, we consider whe...
116
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
192
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...