18572 search results - page 913 / 3715 » High performance C |
217
click to vote
CIE
2010
Springer
16 years 15 days ago
2010
Springer
In this note, we use lower bounds on Boolean multiplicative complexity to prove lower bounds on Boolean circuit complexity. We give a very simple proof of a 7n/3 − c lower bound ...
201
click to vote
ECOOPW
1998
Springer
15 years 12 months ago
1998
Springer
The aspect-oriented programming approach claims to make it easier to reason about, develop, and maintain certain kinds of application code while maintaining highly e cient code. To...
178
Voted
DEBS
2008
ACM
15 years 9 months ago
2008
ACM
StreamMine is a scalable middleware for massive real-time data streaming. In this paper we present the BFSiena: a communication substrate for the StreamMine. BFSiena is a content-...
181
click to vote
SDM
2004
SIAM
15 years 9 months ago
2004
SIAM
There has been a renewed interest in understanding the structure of high dimensional data set based on manifold learning. Examples include ISOMAP [25], LLE [20] and Laplacian Eige...
205
click to vote
FTCS
1998
15 years 9 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...