1652 search results - page 107 / 331 » Integration in Real PCF |
158
click to vote
SOFSEM
2012
Springer
14 years 18 hour ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
126
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract—On a commercial digital still camera (DSC) controller chip we practice a novel SOC test integration platform, solving real problems in test scheduling, test IO reduction...
148
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
We present a table tennis game concept, implemented for Symbian OS/Series 60 mobile phones, using the phone's integrated camera as the main game controller. The game demonstr...
141
click to vote
INTEROP
1999
Springer
15 years 8 months ago
1999
Springer
For data to be successfully integrated, semantically similar database elements must be identified as candidates for merging. However, there may be significant differences between ...
127
click to vote
VTS
2000
IEEE
15 years 8 months ago
2000
IEEE
A novel design-for-test (DFT) technique is presented for designing a core with a “virtual scan chain” which looks (to the system integrator) like it is shorter than the real s...