2593 search results - page 169 / 519 » On Two Problems of Nano-PLA Design |
TCAD
2008
14 years 10 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
107
click to vote
CCE
2005
14 years 10 months ago
2005
In practical system identification, process optimization and controller design, it is often desirable to simultaneously handle several objectives and constraints. In some cases, t...
APIN
2004
14 years 10 months ago
2004
Companies that provide crane-lorry services are faced with the daily need to perform vehicle and driver allocation and scheduling. Many companies still do this manually due to the ...
HCI
2009
14 years 8 months ago
2009
We present the findings of a cognitive walkthrough inspection on three Personal Health Applications (PHAs). Two of the PHAs, Google Health and Microsoft HealthVault, are general pu...
WWW
2006
ACM
15 years 11 months ago
2006
ACM
There are principal differences between the relational model and XML's tree model. This causes problems in all cases where information from these two worlds has to be brought...