6607 search results - page 180 / 1322 » Making TeX Work |
97
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
— We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) — a key step in incremental logic design that identif...
108
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper proposes a comprehensive model for test planning in a core-based environment. The main contribution of this work is the use of several types of TAMs and the considerati...
116
click to vote
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
In mobile teamwork environments two basic problems exist: how to discover someone based on a profile (skills, reputations) and how to assess that person’s “credibility” (tr...
ISMVL
2002
IEEE
15 years 8 months ago
2002
IEEE
By analyzing the working characteristics of binary Schmitt circuits we find their sequential characteristics, which makes us follow the method of sequential circuits to design Sch...
147
Voted
WFLP
2009
Springer
15 years 8 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...