4737 search results - page 756 / 948 » The LOGIC negotiation model |
173
Voted
ITC
2003
IEEE
16 years 13 days ago
2003
IEEE
We present an efficient algorithm for identification of two-line bridges in combinational CMOS logic that narrows down the two-line bridge candidates based on tester responses for...
176
click to vote
LICS
2003
IEEE
16 years 13 days ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
209
click to vote
TLDI
2003
ACM
16 years 12 days ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
184
click to vote
AC
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
188
click to vote
CAISE
2003
Springer
16 years 11 days ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...