3256 search results - page 169 / 652 » Mixin-Based Programming in C |
150
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
117
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
A new high performance computation technique involving multiple processors on a single silicon die is quickly gaining popularity. This new design approach provides very high perfo...
185
click to vote
SCAM
2005
IEEE
15 years 9 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
125
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
115
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...