614 search results - page 51 / 123 » The Power of Methods With Parallel Semantics |
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Fast runtime reconfigurable hardware enables system designers to swap hardware into and out of an FPGA much as the pages of virtual memory are swapped into and out of virtual memor...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Very Long Instruction Word (VLIW) processors are a popular choice in embedded domain due to their hardware simplicity, low cost and low power consumption. Simultaneous MultiThreadi...
FM
2006
Springer
14 years 15 days ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
ESOP
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
ICPPW
2008
IEEE
14 years 3 months ago
2008
IEEE
Power minimization is a serious issue in wireless sensor networks to extend the lifetime and minimize costs. However, in order to gain an accurate understanding of issues regardin...