3119 search results - page 386 / 624 » General Default Logic |
159
click to vote
GLVLSI
2006
IEEE
16 years 20 days ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
178
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
— This paper addresses the multiple tasks performing issues for redundant nonholonomic mobile manipulators. An extended gradient projection redundancy resolution scheme is propos...
193
click to vote
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
152
click to vote
ASPDAC
2006
ACM
16 years 18 days ago
2006
ACM
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
160
click to vote
DOCENG
2006
ACM
16 years 18 days ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...