3994 search results - page 700 / 799 » A Linear Logical Framework |
117
click to vote
PADS
1996
ACM
15 years 8 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...
157
click to vote
DAC
1994
ACM
15 years 8 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...
137
click to vote
ASPLOS
1992
ACM
15 years 8 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...
147
click to vote
WG
1993
Springer
15 years 8 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...
146
click to vote
ICIP
2007
IEEE
15 years 8 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...