4737 search results - page 809 / 948 » The LOGIC negotiation model |
174
Voted
KES
2007
Springer
16 years 1 months ago
2007
Springer
Localization is one of the important topics in robotics and it is essential to execute a mission. Most problems in the class of localization are due to uncertainties in the modelin...
169
Voted
SAS
2007
Springer
16 years 1 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
189
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
177
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper proposes a yield optimization method for standard-cells under timing constraints. Yield-aware logic synthesis and physical optimization require yield-enhanced standard ...
213
click to vote
MTV
2006
IEEE
16 years 1 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...