2251 search results - page 190 / 451 » Specification and Implementation Problems for C |
130
click to vote
TOPLAS
2010
15 years 2 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
164
Voted
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
Prefix hijacking has always been a big concern in the Internet. Some events made it into the international world-news, but most of them remain unreported or even unnoticed. The s...
131
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
160
click to vote
ALP
1992
Springer
15 years 8 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
133
Voted
PTS
2008
15 years 5 months ago
2008
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...