Search Results - "UR, SHMUEL" :: K.UTB vyhledávací portál

Loading…

Towards a framework and a benchmark for testing tools for multi-threaded programs

by Eytani, Yaniv, Havelund, Klaus, Stoller, Scott D., Ur, Shmuel
Published in Concurrency and computation (10.03.2007)

Get full text

Journal Article

Loading…

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

by Bin, Eyal, Ziv, Avi, Ur, Shmuel
Year of Publication 2007

Get full text

eBook

Loading…

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

by Ur, Shmuel, Bin, Eyal, Wolfsthal, Yaron
Year of Publication 2006

Get full text

eBook

Loading…

GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards

by Yoo, Shin, Harman, Mark, Ur, Shmuel
Published in Empirical software engineering : an international journal (01.06.2013)

Get full text

Journal Article

Loading…

Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards

by Yoo, Shin, Harman, Mark, Ur, Shmuel
Published in Search Based Software Engineering (2011)

Get full text

Book Chapter

Loading…

Automatic scent selection

by Ur, Shmuel
Year of Publication 23.07.2024

Get full text

Patent

Loading…

Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD)

by Ur, Shmuel
Published in Concurrency and computation (10.03.2007)

Get full text

Journal Article

Loading…

DIGITAL MEDIA AUTHENTICATION

by Ur, Shmuel
Year of Publication 08.02.2024

Get full text

Patent

Loading…

DEEPFAKE ATTACK IDENTIFICATION SYSTEM

by Ur, Shmuel
Year of Publication 30.11.2023

Get full text

Patent

Loading…

VEHICLE-ASSOCIATED PACKAGE REPOSITORY FOR DRONE BASED DELIVERY SYSTEMS

by Ur, Shmuel
Year of Publication 23.11.2023

Get full text

Patent

Loading…

Digital media authentication

by Ur, Shmuel
Year of Publication 21.11.2023

Get full text

Patent

Loading…

DIGITAL MEDIA AUTHENTICATION

by Ur, Shmuel
Year of Publication 02.11.2023

Get full text

Patent

Loading…

Method, system and product for verifying digital media

by Ur, Shmuel
Year of Publication 12.09.2023

Get full text

Patent

Loading…

Drone based delivery system using vehicles

by Ur, Shmuel
Year of Publication 05.09.2023

Get full text

Patent

Loading…

Digital media authentication

by Ur, Shmuel
Year of Publication 29.08.2023

Get full text

Patent

Loading…

Hardware and software, verification and testing: second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 23-26, 2006 : revised selected papers

by Bin, Eyal, Ziv, Avi, Ur, Shmuel
Year of Publication 30.07.2014

Get full text

eBook

Loading…

Hardware and software verification and testing: first International Haifa Verification Conference, Haifa Israel, November 13-16, 2005, revised selected papers

by Ur, Shmuel, Bin, Eyal, Wolfsthal, Yaron
Year of Publication 30.07.2014

Get full text

eBook

Loading…

METHOD, SYSTEM AND PRODUCT FOR VERIFYING DIGITAL MEDIA

by Ur, Shmuel
Year of Publication 28.07.2022

Get full text

Patent

Loading…

Method, system and product for verifying digital media

by Ur, Shmuel
Year of Publication 17.05.2022

Get full text

Patent

Loading…

Streaming of multi-location live events

by Ur, Shmuel
Year of Publication 22.03.2022

Get full text

Patent

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database