4306 search results - page 197 / 862 » Timed Testing with TorX |
ICDCS
1989
IEEE
14 years 2 months ago
1989
IEEE
We examine the task of concurrently computing alternative solutions to a problem. We restrict our interest to the case where only one of the solutions is needed; in this case we n...
DAC
2004
ACM
14 years 2 months ago
2004
ACM
There is an increased dominance of intra-die process variations, creating a need for an accurate and fast statistical timing analysis. Most of the recent proposed approaches assum...
ACTAC
2008
13 years 11 months ago
2008
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
CHI
2010
ACM
14 years 5 months ago
2010
ACM
We report the results of an exploratory 8-day field study of CrossTrainer: a mobile game with crossmodal audio and tactile feedback. Our research focuses on the longitudinal effec...
WEA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In this paper we present a novel approach to the graph isomorphism problem. We combine a direct approach, that tries to find a mapping between the two input graphs using...