Search Results - "Taube, Marcelo" :: K.UTB vyhledávací portál

Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols

by Tamir, Orr, Taube, Marcelo, McMillan, Kenneth L., Shoham, Sharon, Howell, Jon, Gueta, Guy, Sagiv, Mooly
Published in Proceedings of ACM on programming languages (16.10.2023)

Get full text

Journal Article

Loading…

Fittest stripe selection for storage of data in storage systems

by Gazit, Ronen, Soukhman, Alex, Kamran, Lior, Taube, Marcelo
Year of Publication 04.05.2021

Get full text

Patent

Loading…

Efficient packing of compressed data in storage system implementing data striping

by Schneider, Zvi, Soukhman, Alex, Krakov, David, Kamran, Lior, Taube, Marcelo
Year of Publication 27.04.2021

Get full text

Patent

Loading…

FITTEST STRIPE SELECTION FOR STORAGE OF DATA IN STORAGE SYSTEMS

by Gazit, Ronen, Soukhman, Alex, Kamran, Lior, Taube, Marcelo
Year of Publication 30.07.2020

Get full text

Patent

Loading…

EFFICIENT PACKING OF COMPRESSED DATA IN STORAGE SYSTEM IMPLEMENTING DATA STRIPING

by Schneider, Zvi, Soukhman, Alex, Krakov, David, Kamran, Lior, Taube, Marcelo
Year of Publication 09.07.2020

Get full text

Patent

Loading…

Efficient packing of compressed data in storage system implementing data striping

by Schneider, Zvi, Soukhman, Alex, Krakov, David, Kamran, Lior, Taube, Marcelo
Year of Publication 16.06.2020

Get full text

Patent

Loading…

EFFICIENT PACKING OF COMPRESSED DATA IN STORAGE SYSTEM IMPLEMENTING DATA STRIPING

by Schneider, Zvi, Soukhman, Alex, Krakov, David, Kamran, Lior, Taube, Marcelo
Year of Publication 30.01.2020

Get full text

Patent

Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols

Fittest stripe selection for storage of data in storage systems

Efficient packing of compressed data in storage system implementing data striping

FITTEST STRIPE SELECTION FOR STORAGE OF DATA IN STORAGE SYSTEMS

EFFICIENT PACKING OF COMPRESSED DATA IN STORAGE SYSTEM IMPLEMENTING DATA STRIPING

Efficient packing of compressed data in storage system implementing data striping

EFFICIENT PACKING OF COMPRESSED DATA IN STORAGE SYSTEM IMPLEMENTING DATA STRIPING

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database