2251 search results - page 4 / 451 » Specification and Implementation Problems for C |
173
click to vote
POPL
2006
ACM
15 years 9 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...
73
Voted
TOOLS
1997
IEEE
15 years 1 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
86
Voted
DAC
2005
ACM
15 years 10 months ago
2005
ACM
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival prob...
ENTCS
2008
14 years 9 months ago
2008
We describe the experience of implementing a Domain-Specific Language using transformation to a General Purpose Language. The domain of application is image processing and low-lev...