5111 search results - page 640 / 1023 » The Embedded Systems Design Challenge |
148
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
170
Voted
NIME
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we study the potential and the challenges posed by multi-user instruments, as tools that can facilitate interaction and responsiveness not only between performers an...
162
click to vote
PERVASIVE
2005
Springer
16 years 9 days ago
2005
Springer
Physical browsing is a mobile-device-based interaction method for pervasive computing. In this paper, we describe our research interests and experiences of physical browsing: the ...
251
click to vote
ITC
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
155
click to vote
WCRE
1996
IEEE
15 years 11 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...