Scalable and precise symbolic analysis for atomicity violations

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100045 ◽

2011 ◽

Author(s):

Malay K. Ganai

Keyword(s):

Symbolic Analysis ◽

Atomicity Violations

Download Full-text

Trace-Based Symbolic Analysis for Atomicity Violations

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12002-2_27 ◽

2010 ◽

pp. 328-342 ◽

Author(s):

Chao Wang ◽

Rhishikesh Limaye ◽

Malay Ganai ◽

Aarti Gupta

Keyword(s):

Symbolic Analysis ◽

Atomicity Violations

Download Full-text

Author's reply: New approach to automatic symbolic analysis of electric circuits

IEE Proceedings G Circuits Devices and Systems ◽

10.1049/ip-g-2.1993.0038 ◽

1993 ◽

Vol 140 (3) ◽

pp. 231

Author(s):

S. Manetti

Keyword(s):

Symbolic Analysis ◽

New Approach ◽

Electric Circuits

Download Full-text

EVA: an experimental video annotator for symbolic analysis of video data

ACM SIGCHI Bulletin ◽

10.1145/70609.70617 ◽

1989 ◽

Vol 21 (2) ◽

pp. 68-71 ◽

Author(s):

W. E. Mackay

Keyword(s):

Symbolic Analysis ◽

Experimental Video

Download Full-text

The role of birds in Roman imperial funerary rituals at La Magdalena (Alcalá de Henares, Spain): osteoarchaeological and symbolic analysis

Archaeological and Anthropological Sciences ◽

10.1007/s12520-021-01317-0 ◽

2021 ◽

Vol 13 (4) ◽

Author(s):

Rocío Bernal-García ◽

Felipe Gómez-Moreno ◽

Francisco J. Serrano ◽

César Heras ◽

José Yravedra

Keyword(s):

Symbolic Analysis ◽

Funerary Rituals

Download Full-text

On parallel symbolic analysis of large networks and systems

1993 IEEE International Symposium on Circuits and Systems ◽

10.1109/iscas.1993.394056 ◽

2002 ◽

Author(s):

T. Matsumoto ◽

T. Sakabe ◽

K. Tsuji

Keyword(s):

Symbolic Analysis ◽

Download Full-text

A symbolic analysis of Vermeille and Borkowski polynomials for transforming 3D Cartesian to geodetic coordinates

Journal of Geodesy ◽

10.1007/s00190-009-0325-2 ◽

2009 ◽

Vol 83 (11) ◽

pp. 1071-1081 ◽

Author(s):

Laureano Gonzalez-Vega ◽

Irene Polo-Blanco

Keyword(s):

Symbolic Analysis ◽

Geodetic Coordinates

Download Full-text

Offline symbolic analysis to infer Total Store Order

2011 IEEE 17th International Symposium on High Performance Computer Architecture ◽

10.1109/hpca.2011.5749743 ◽

2011 ◽

Author(s):

Dongyoon Lee ◽

Mahmoud Said ◽

Satish Narayanasamy ◽

Zijiang Yang

Keyword(s):

Symbolic Analysis

Download Full-text

SapWin 4.0-a new simulation program for electrical engineering education using symbolic analysis

Computer Applications in Engineering Education ◽

10.1002/cae.21671 ◽

2015 ◽

Vol 24 (1) ◽

pp. 44-57 ◽

Author(s):

F. Grasso ◽

A. Luchetta ◽

S. Manetti ◽

M. C. Piccirilli ◽

A. Reatti

Keyword(s):

Engineering Education ◽

Electrical Engineering ◽

Symbolic Analysis ◽

Simulation Program ◽

Electrical Engineering Education

Download Full-text

Social Body and Icon of the Person: A Symbolic Analysis of Shell Money Among the Wodani, Western Highlands of Irian Jaya

American Ethnologist ◽

10.1525/ae.1999.26.3.558 ◽

1999 ◽

Vol 26 (3) ◽

pp. 558-582 ◽

Author(s):

Stéphane Breton

Keyword(s):

Symbolic Analysis ◽

Social Body ◽

Download Full-text

A system for the symbolic analysis of problems in engineering mechanics

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 ◽

10.1145/190347.190370 ◽

1994 ◽

Author(s):

Philip H. Todd ◽

Robin J. Y. McLeod ◽

Marcia Harris

Keyword(s):

Symbolic Analysis ◽

Engineering Mechanics

Download Full-text