109 search results - page 15 / 22 » Extensions: A Technique for Structuring Functional-Logic Pro... |
INFOCOM
2012
IEEE
11 years 9 months ago
2012
IEEE
Abstract—Although femtocell deployments in residential buildings have been increasingly prevalent, femtocell deployment in commercial building environments remains in its infancy...
IJHPCA
2007
13 years 7 months ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
CP
2007
Springer
14 years 1 months ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
CC
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
FMSD
2007
13 years 7 months ago
2007
We study the cost-optimal reachability problem for weighted timed automata such that positive and negative costs are allowed on edges and locations. By optimality, we mean an infi...