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

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 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

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
Sign in / Sign up

Export Citation Format

Share Document