4139 search results - page 84 / 828 » Designing and Implementing Combinator Languages |
109
click to vote
ET
2007
15 years 19 days ago
2007
This article describes an emulation-based method for locating stuck-at faults in combinational and synchronous sequential circuits. The method is based on automatically designing a...
214
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
204
click to vote
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
102
click to vote
VL
2009
IEEE
15 years 7 months ago
2009
IEEE
When conceiving of and implementing interactive behaviors, most designers rely on professional software developers to prototype and implement their designs. They often use static ...
140
click to vote
LCTRTS
2007
Springer
15 years 6 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...