3256 search results - page 331 / 652 » Mixin-Based Programming in C |
91
Voted
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
83
Voted
TGC
2007
Springer
15 years 6 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
SCAM
2006
IEEE
15 years 6 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
92
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
- Renesas Technology Corp. designers turned to OpenAccess to address the major design challenges with systems on chip for the automotive, wireless, digital consumer and industrial ...
85
Voted
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...