3527 search results - page 550 / 706 » Test Automation in Practice |
80
Voted
PERCOM
2006
ACM
15 years 10 months ago
2006
ACM
Opportunistic augmentation denotes connecting a personal mobile device to another device to gain a transient advantage for the user. For example, a mobile phone user might borrow ...
83
Voted
POPL
2010
ACM
15 years 7 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
71
Voted
ICCAD
2005
IEEE
15 years 7 months ago
2005
IEEE
The presence of unknown values in the simulation result is a key barrier to effective output response compaction in practice. This paper proposes a simple circuit module, called a...
73
Voted
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
Organizations invest in the development of knowledge repositories (KR) to foster knowledge reuse and integration. Yet many KR initiatives fail to meet expectations, in part becaus...
SIGCSE
2010
ACM
15 years 5 months ago
2010
ACM
A significant focus in the United States recently has been to increase engagement and interest in STEM curricula, particularly among girls and underrepresented minorities [3]. In ...