1559 search results - page 172 / 312 » The Semantics of Future and Its Use in Program Optimizations |
106
Voted
IWCMC
2006
ACM
15 years 4 months ago
2006
ACM
Due to the growing interest in mobile wireless Ad-Hoc networks’ (MANETs) applications, researchers have proposed many routing protocols that differ in their objective. Energy ef...
102
Voted
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
ACTA
1998
14 years 10 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
LCPC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
113
Voted
SOCC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Scaling down the voltage levels of the processing elements (PEs) in a Network-on-Chip (NoC) can significantly reduce the computation energy consumption with an overhead of the...