%0 Conference Paper %1 minas-europar95 %A Minas, Mark %B EURO-PAR '95, Parallel Processing (1st International EURO-PAR Conference, Stockholm, Sweden %D 1995 %E Haridi, Seif %E Ali, Khayri %E Magnusson, Peter %I Springer-Verlag %K 1995 ConferencePaper Debugging myown %P 403-414 %T Detecting Quantified Global Predicates in Parallel Programs %V 966

@inproceedings{minas-europar95, added-at = {2009-09-10T18:49:56.000+0200}, author = {Minas, Mark}, bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGCQpYJHZlcnNpb25UJHRvcFkkYXJjaGl2ZXJYJG9iamVjdHMSAAGGoNEHCFRyb290gAFfEA9OU0tleWVkQXJjaGl2ZXKoCwwXGBkdJCVVJG51bGzTDQ4PEBEUViRjbGFzc1dOUy5rZXlzWk5TLm9iamVjdHOAB6ISE4ACgAOiFRaABIAGWWFsaWFzRGF0YVxyZWxhdGl2ZVBhdGjSDRobHFdOUy5kYXRhgAVPEQHQAAAAAAHQAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADDYhqFSCsAAAAOqHAVRXVyb3Bhcjk1LmZpbmFsLnBzLmd6AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA6oeKv+dmIAAAAAAAAAAAADAAUAAAkgAAAAAAAAAAAAAAAAAAAABDE5OTUAEAAIAADDYgx1AAAAEQAIAACr/lpCAAAAAQAcAA6ocAAOqFoADpnRAA6TowAN64QAC7DaAAB5awACAFBNYWNpbnRvc2ggSEQ6VXNlcnM6bWluYXM6RWlnZW5lIERhdGVpZW46VGV4dDpQYXBlcjpQUzoxOTk1OkV1cm9wYXI5NS5maW5hbC5wcy5negAOACwAFQBFAHUAcgBvAHAAYQByADkANQAuAGYAaQBuAGEAbAAuAHAAcwAuAGcAegAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAENVc2Vycy9taW5hcy9FaWdlbmUgRGF0ZWllbi9UZXh0L1BhcGVyL1BTLzE5OTUvRXVyb3Bhcjk1LmZpbmFsLnBzLmd6AAATAAEvAAAVAAIADP//AADSHh8gIVgkY2xhc3Nlc1okY2xhc3NuYW1loyEiI11OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QMS4uLy4uLy4uL1RleHQvUGFwZXIvUFMvMTk5NS9FdXJvcGFyOTUuZmluYWwucHMuZ3rSHh8mJ6InI1xOU0RpY3Rpb25hcnkACAARABoAHwApADIANwA6AD8AQQBTAFwAYgBpAHAAeACDAIUAiACKAIwAjwCRAJMAnQCqAK8AtwC5Ao0CkgKbAqYCqgK4Ar8CyAL8AwEDBAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAMR}, bdsk-file-2 = {YnBsaXN0MDDUAQIDBAUGCQpYJHZlcnNpb25UJHRvcFkkYXJjaGl2ZXJYJG9iamVjdHMSAAGGoNEHCFRyb290gAFfEA9OU0tleWVkQXJjaGl2ZXKoCwwXGBkdJCVVJG51bGzTDQ4PEBEUViRjbGFzc1dOUy5rZXlzWk5TLm9iamVjdHOAB6ISE4ACgAOiFRaABIAGWWFsaWFzRGF0YVxyZWxhdGl2ZVBhdGjSDRobHFdOUy5kYXRhgAVPEQG4AAAAAAG4AAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADDYhqFSCsAAAAOqHAPRXVyb3Bhcjk1LnBzLmd6AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA6oeatUOHgAAAAAAAAAAAADAAUAAAkgAAAAAAAAAAAAAAAAAAAABDE5OTUAEAAIAADDYgx1AAAAEQAIAACrVCpoAAAAAQAcAA6ocAAOqFoADpnRAA6TowAN64QAC7DaAAB5awACAEpNYWNpbnRvc2ggSEQ6VXNlcnM6bWluYXM6RWlnZW5lIERhdGVpZW46VGV4dDpQYXBlcjpQUzoxOTk1OkV1cm9wYXI5NS5wcy5negAOACAADwBFAHUAcgBvAHAAYQByADkANQAuAHAAcwAuAGcAegAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAD1Vc2Vycy9taW5hcy9FaWdlbmUgRGF0ZWllbi9UZXh0L1BhcGVyL1BTLzE5OTUvRXVyb3Bhcjk1LnBzLmd6AAATAAEvAAAVAAIADP//AADSHh8gIVgkY2xhc3Nlc1okY2xhc3NuYW1loyEiI11OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QKy4uLy4uLy4uL1RleHQvUGFwZXIvUFMvMTk5NS9FdXJvcGFyOTUucHMuZ3rSHh8mJ6InI1xOU0RpY3Rpb25hcnkACAARABoAHwApADIANwA6AD8AQQBTAFwAYgBpAHAAeACDAIUAiACKAIwAjwCRAJMAnQCqAK8AtwC5AnUCegKDAo4CkgKgAqcCsALeAuMC5gAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAALz}, bdsk-file-3 = {YnBsaXN0MDDUAQIDBAUGCQpYJHZlcnNpb25UJHRvcFkkYXJjaGl2ZXJYJG9iamVjdHMSAAGGoNEHCFRyb290gAFfEA9OU0tleWVkQXJjaGl2ZXKoCwwXGBkdJCVVJG51bGzTDQ4PEBEUViRjbGFzc1dOUy5rZXlzWk5TLm9iamVjdHOAB6ISE4ACgAOiFRaABIAGWWFsaWFzRGF0YVxyZWxhdGl2ZVBhdGjSDRobHFdOUy5kYXRhgAVPEQHMAAAAAAHMAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADDYhqFSCsAAAAOqHAURXVyb3Bhcjk1LXRhbGsucHMuZ3oAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA6od6xkND4AAAAAAAAAAAADAAUAAAkgAAAAAAAAAAAAAAAAAAAABDE5OTUAEAAIAADDYgx1AAAAEQAIAACsZBgeAAAAAQAcAA6ocAAOqFoADpnRAA6TowAN64QAC7DaAAB5awACAE9NYWNpbnRvc2ggSEQ6VXNlcnM6bWluYXM6RWlnZW5lIERhdGVpZW46VGV4dDpQYXBlcjpQUzoxOTk1OkV1cm9wYXI5NS10YWxrLnBzLmd6AAAOACoAFABFAHUAcgBvAHAAYQByADkANQAtAHQAYQBsAGsALgBwAHMALgBnAHoADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgBCVXNlcnMvbWluYXMvRWlnZW5lIERhdGVpZW4vVGV4dC9QYXBlci9QUy8xOTk1L0V1cm9wYXI5NS10YWxrLnBzLmd6ABMAAS8AABUAAgAM//8AANIeHyAhWCRjbGFzc2VzWiRjbGFzc25hbWWjISIjXU5TTXV0YWJsZURhdGFWTlNEYXRhWE5TT2JqZWN0XxAwLi4vLi4vLi4vVGV4dC9QYXBlci9QUy8xOTk1L0V1cm9wYXI5NS10YWxrLnBzLmd60h4fJieiJyNcTlNEaWN0aW9uYXJ5AAgAEQAaAB8AKQAyADcAOgA/AEEAUwBcAGIAaQBwAHgAgwCFAIgAigCMAI8AkQCTAJ0AqgCvALcAuQKJAo4ClwKiAqYCtAK7AsQC9wL8Av8AAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAADDA==}, biburl = {https://www.bibsonomy.org/bibtex/2b4290a1070e441035a5f4c14dc3e052c/minas}, booktitle = {EURO-PAR '95, Parallel Processing (1st International EURO-PAR Conference, Stockholm, Sweden}, date-modified = {2009-09-10 18:06:01 +0200}, editor = {Haridi, Seif and Ali, Khayri and Magnusson, Peter}, interhash = {7d76567c000ceb62592d8c0ef25ea964}, intrahash = {b4290a1070e441035a5f4c14dc3e052c}, keywords = {1995 ConferencePaper Debugging myown}, month = {August}, p.authors = {minas#Debugging}, p.file = {Europar95.pdf Europar95.ps}, pages = {403-414}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, timestamp = {2009-09-10T18:49:58.000+0200}, title = {Detecting Quantified Global Predicates in Parallel Programs}, volume = 966, year = 1995 }