4266 search results - page 560 / 854 » A Framework for Defining Logics |
169
Voted
ITC
2002
IEEE
15 years 11 months ago
2002
IEEE
ct Characterizing board test coverage as a percentage of devices or nodes having tests does not accurately portray coverage, especially in a limited access testing environment that...
168
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
174
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
Locales (as first embodied in the SPLINE system) are a very good approach to constructing and organising large virtual environments, especially for distributed and multiuser syste...
181
Voted
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Given the importance of credibility in computing products, the research on computer credibility is relatively small. To enhance knowledge about computers and credibility, we defin...
166
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
We introduce the associative skew clock routing problem, which seeks a clock routing tree such that zero skew is preserved only within identified groups of sinks. The associative ...