4421 search results - page 316 / 885 » Libraries |
165
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
168
click to vote
VTS
1997
IEEE
15 years 11 months ago
1997
IEEE
We describe a technique to generate critical hazard-free tests for self-timed control circuits build using a macromodule library, in a partial scan based DFT environment. Wepropos...
179
click to vote
LCC
1994
15 years 10 months ago
1994
We demonstrate program extraction by the Light Dialectica Interpretation (LDI) on a minimal logic proof of the classical existence of Fibonacci numbers. This semi-classical proof ...
163
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
Jointly developed over 5 years by Atira A/S and a number of university libraries, the commercial repository system PURE is a tool in the research administration and dissemination ...
148
click to vote
CBMS
2004
IEEE
15 years 10 months ago
2004
IEEE
PubMed on Tap is a testbed system that supports search of and retrieval from the National Library of Medicine's MEDLINE