2251 search results - page 56 / 451 » Specification and Implementation Problems for C |
226
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
133
click to vote
ICCAD
2005
IEEE
16 years 5 days ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
97
Voted
FLAIRS
2010
15 years 5 months ago
2010
Most researchers agree that there is a continuum between well-definedness and ill-definedness. However, positioning a specific problem within this continuum is not always easy. To...
108
click to vote
CCGRID
2001
IEEE
15 years 7 months ago
2001
IEEE
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of high performance of VIA, the previous MPI implementati...
116
click to vote
PPL
2002
15 years 2 months ago
2002
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of the promised high performance of VIA, previous MPI imp...