5451 search results - page 961 / 1091 » Typed Operational Semantics |
135
Voted
IOR
2002
15 years 3 months ago
2002
Then these analytically motivated abstractions were gradually made more intricate as the body of mathematical techniques grew. The trend went from elementary analysis of complex, i...
106
Voted
TVLSI
1998
15 years 3 months ago
1998
— Fault-tolerance is an important system metric for many operating environments, from automotive to space exploration. The conventional technique for improving system reliability...
152
Voted
TPDS
2002
15 years 3 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
129
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we characterize and construct novel oversampled filter banks implementing fusion frames. A fusion frame is a sequence of orthogonal projection operators whose sum can...
113
Voted
ML
2007
ACM
15 years 3 months ago
2007
ACM
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...