Memory-Efficient Algorithms for Finding Needles in Haystacks

2016 ◽  
pp. 185-206 ◽  
Author(s):  
Itai Dinur ◽  
Orr Dunkelman ◽  
Nathan Keller ◽  
Adi Shamir
Keyword(s):  
Efficient Algorithms ◽  
Memory Efficient

scholarly journals Memory efficient algorithms for the verification of temporal properties

2005 ◽  
pp. 233-242 ◽  
Author(s):  
C. Courcoubetis ◽  
M. Vardi ◽  
P. Wolper ◽  
M. Yannakakis
Keyword(s):  
Efficient Algorithms ◽  
Temporal Properties ◽  
Memory Efficient

Memory Efficient Algorithms for Structural Alignment of RNAs with Pseudoknots

2012 ◽  
Vol 9 (1) ◽  
pp. 161-168 ◽  
Author(s):  
T. K. F. Wong ◽  
Y. S. Chiu ◽  
T. W. Lam ◽  
S. M. Yiu
Keyword(s):  
Structural Alignment ◽  
Efficient Algorithms ◽  
Memory Efficient

scholarly journals Memory-efficient algorithms for the verification of temporal properties

1992 ◽  
Vol 1 (2-3) ◽  
pp. 275-288 ◽  
Author(s):  
C. Courcoubetis ◽  
M. Vardi ◽  
P. Wolper ◽  
M. Yannakakis
Keyword(s):  
Efficient Algorithms ◽  
Temporal Properties ◽  
Memory Efficient

scholarly journals Memory efficient algorithms for cactus graphs and block graphs

2017 ◽  
Vol 216 ◽  
pp. 393-407 ◽  
Author(s):  
Boris Brimkov ◽  
Illya V. Hicks
Keyword(s):  
Efficient Algorithms ◽  
Block Graphs ◽  
Cactus Graphs ◽  
Memory Efficient

Fast and memory-efficient algorithms for high-order Tucker decomposition

2020 ◽  
Vol 62 (7) ◽  
pp. 2765-2794
Author(s):  
Jiyuan Zhang ◽  
Jinoh Oh ◽  
Kijung Shin ◽  
Evangelos E. Papalexakis ◽  
Christos Faloutsos ◽  
...  
Keyword(s):  
Efficient Algorithms ◽  
High Order ◽  
Tucker Decomposition ◽  
Memory Efficient

scholarly journals Memory-Efficient Algorithms for the Verification of Temporal Properties

1992 ◽  
pp. 129-142 ◽  
Author(s):  
C. Courcoubetis ◽  
M. Vardi ◽  
P. Wolper ◽  
M. Yannakakis
Keyword(s):  
Efficient Algorithms ◽  
Temporal Properties ◽  
Memory Efficient
Sign in / Sign up

Export Citation Format

Share Document