6568 search results - page 1200 / 1314 » Reducing the Complexity of Reductions |
178
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
Memory and communication architectures have a significant impact on the cost, performance, and time-to-market of complex multi-processor system-on-chip (MPSoC) designs. The memory...
181
click to vote
INFOCOM
2006
IEEE
16 years 13 days ago
2006
IEEE
We consider a class of queueing networks referred to as “generalized constrained queueing networks” which form the basis of several different communication networks and inform...
180
click to vote
LICS
2006
IEEE
16 years 12 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
173
click to vote
WECWIS
2006
IEEE
16 years 12 days ago
2006
IEEE
UN/CEFACT’s modeling methodology (UMM) is used to develop global choreographies of inter-organizational business processes. UMM models should be publically available in order to...
166
click to vote
ASPLOS
2006
ACM
16 years 11 days ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...