Search

Your search keyword '"Shurek, Gil"' showing total 3 results
Start Over Author "Shurek, Gil" Publication Type Academic Journals
3 results on '"Shurek, Gil"'

1. Information-flow models for shared memory with an application to the PowerPC architecture

Author

Adir, Allon, Attiya, Hagit, and Shurek, Gil

Subjects
Multiprocessing -- Research, Parallel processing -- Research, Multiprocessing, Parallel processing, PowerPC-based system, PowerPC-based notebook, Business, Computers, Electronics, Electronics and electrical industries
Abstract

A framework is proposed for defining instructions, programs, and the semantics of their instantiation in multiprocessor environments.

Published
2003

2. Constraint-Based Random Stimuli Generation for Hardware Verification.

Author

Naveh, Yehuda, Rimon, Michal, Jaeger, Itai, Katz, Yoav, Vinov, Michael, Marcus, Eitan, and Shurek, Gil

Subjects
INTEGRATED circuit verification, ARTIFICIAL intelligence, KNOWLEDGE representation (Information theory), INFORMATION theory, EXPERT systems, CONSTRAINT satisfaction, COMPUTER input design, ELECTRONIC data processing
Abstract

We report on random stimuli generation for hardware verification at IBM as a major application of various artificial intelligence technologies, including knowledge representation, expert systems, and constraint satisfaction. For more than a decade we have developed several related tools, with huge payoffs. Research and development around this application are still thriving, as we continue 10 cope with the ever-increasing complexity of modern hardware systems and demanding business environments. [ABSTRACT FROM AUTHOR]

Published
2007

3. Using a constraint satisfaction formulation and solution techniques for random test program generation.

Author

Bin, Eyal, Emek, Roy, Shurek, Gil, and Ziv, Avi

Subjects
*CONSTRAINT satisfaction, *ARTIFICIAL intelligence, *ELECTRONIC data processing
Abstract

Formulates the generation of test programs as a constraint satisfaction problem and develop techniques for dealing with huge variable domains and the need to randomly generate 'well distributed' samplings of the solution space. Details on related work and alternatives to constraint satisfaction problem; Characteristics of constraint satisfaction problem for test generation; Information on solution techniques; Conclusions.

Published
2002
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results