3994 search results - page 700 / 799 » A Linear Logical Framework |
153
click to vote
PADS
1996
ACM
15 years 11 months ago
1996
ACM
One of the promises of parallelized discrete-event simulation is that it might provide significant speedups over sequential simulation. In reality, high performance cannot be achi...
203
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
We provide a new theoretical framework for constructing Steiner routing trees with minimum Elmore delay. Earlier work [3, 13] has established Elmore delay as a high delity estima...
184
click to vote
ASPLOS
1992
ACM
15 years 11 months ago
1992
ACM
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
188
click to vote
WG
1993
Springer
15 years 11 months ago
1993
Springer
Recently in several papers, graphs with maximum neighborhood orderings were characterized and turned out to be algorithmically useful. This paper gives a unified framework for cha...
186
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
This communication deals with data reduction and regression. A set of high dimensional data (e.g., images) usually has only a few degrees of freedom with corresponding variables t...