3527 search results - page 277 / 706 » Test Automation in Practice |
154
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
175
click to vote
MEMICS
2010
15 years 1 months ago
2010
We describe an automated way to generate data for a practical LLVM instruction selector based on machine-generated description of the target architecture at register transfer leve...
158
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
For the automated analysis of cortical morphometry, it is critical to develop robust descriptions of the position of anatomical structures on the convoluted cortex. Using the eigen...
172
click to vote
PERCOM
2007
ACM
16 years 5 months ago
2007
ACM
User adaptive systems in the context of pervasive computing can only unveil their power if based on a generic middleware managing private data and context information in combinati...
124
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
In this paper, we propose a Proximity Based automated Access Control (PBAC) model for smart-ED environments which improves the existing ED work-flow by automating mundane administ...