495 search results - page 43 / 99 » HIDE : A Logic Based Hardware Development Environment |
AICCSA
2001
IEEE
13 years 11 months ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Just-in-time (JIT) compilation has previously been used in many applications to enable standard software binaries to execute on different underlying processor architectures. Howev...
ANCS
2008
ACM
13 years 9 months ago
2008
ACM
Nearly all programmable commercial hardware solutions offered for high-speed networking systems are capable of meeting the performance and flexibility requirements of equipment ve...
ICCAD
1999
IEEE
14 years 23 hour ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
CHI
2006
ACM
14 years 1 months ago
2006
ACM
Multi-display environments and smart meeting rooms are now becoming more common. These environments build a shared display space from variety of devices: tablets, projected surfac...