callback( { "result":{ "query":":facetid:toc:\"db/conf/dimacs/dimacs18.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"66.53" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"26", "@dc":"26", "@oc":"26", "@id":"43389612", "text":":facetid:toc:db/conf/dimacs/dimacs18.bht" } }, "hits":{ "@total":"26", "@computed":"26", "@sent":"26", "@first":"0", "hit":[{ "@score":"1", "@id":"6802296", "info":{"authors":{"author":[{"@pid":"a/GulAAgha","text":"Gul A. Agha"},{"@pid":"99/3019","text":"WooYoung Kim"},{"@pid":"12/3801","text":"Rajendra Panwar"}]},"title":"Actor Languages for Specification of Parallel Computations.","venue":"Specification of Parallel Algorithms","pages":"239-258","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/AghaKP94","doi":"10.1090/DIMACS/018/16","ee":"https://doi.org/10.1090/dimacs/018/16","url":"https://dblp.org/rec/conf/dimacs/AghaKP94"}, "url":"URL#6802296" }, { "@score":"1", "@id":"6802297", "info":{"authors":{"author":[{"@pid":"64/6943","text":"Shakil Ahmed"},{"@pid":"21/2167","text":"Nicholas Carriero"},{"@pid":"g/DavidGelernter","text":"David Gelernter"}]},"title":"A Program Building Tool for Parallel Applications.","venue":"Specification of Parallel Algorithms","pages":"161-178","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/AhmedCG94","doi":"10.1090/DIMACS/018/12","ee":"https://doi.org/10.1090/dimacs/018/12","url":"https://dblp.org/rec/conf/dimacs/AhmedCG94"}, "url":"URL#6802297" }, { "@score":"1", "@id":"6802299", "info":{"authors":{"author":[{"@pid":"a/AArora","text":"Anish Arora"},{"@pid":"g/MohamedGGouda","text":"Mohamed G. Gouda"},{"@pid":"v/GeorgeVarghese","text":"George Varghese"}]},"title":"Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance.","venue":"Specification of Parallel Algorithms","pages":"341-356","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/AroraGV94","doi":"10.1090/DIMACS/018/21","ee":"https://doi.org/10.1090/dimacs/018/21","url":"https://dblp.org/rec/conf/dimacs/AroraGV94"}, "url":"URL#6802299" }, { "@score":"1", "@id":"6802308", "info":{"authors":{"author":[{"@pid":"c/KManiChandy","text":"K. Mani Chandy"},{"@pid":"77/189","text":"Beverly A. Sanders"}]},"title":"Compositional Specifications of Parallel Programs: NondeterministicData Flow.","venue":"Specification of Parallel Algorithms","pages":"51-63","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/ChandyS94","doi":"10.1090/DIMACS/018/04","ee":"https://doi.org/10.1090/dimacs/018/04","url":"https://dblp.org/rec/conf/dimacs/ChandyS94"}, "url":"URL#6802308" }, { "@score":"1", "@id":"6802311", "info":{"authors":{"author":[{"@pid":"c/AAChien","text":"Andrew A. Chien"},{"@pid":"136/7992","text":"Mark Straka"},{"@pid":"08/7028","text":"Julian Dolby"},{"@pid":"l/VijayKaramcheti","text":"Vijay Karamcheti"},{"@pid":"52/1580","text":"John Plevyak"},{"@pid":"15/1979","text":"Xingbin Zhang"}]},"title":"A Case Study in Irregular Parallel Programming.","venue":"Specification of Parallel Algorithms","pages":"1-20","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/ChienSDKPZ94","doi":"10.1090/DIMACS/018/01","ee":"https://doi.org/10.1090/dimacs/018/01","url":"https://dblp.org/rec/conf/dimacs/ChienSDKPZ94"}, "url":"URL#6802311" }, { "@score":"1", "@id":"6802312", "info":{"authors":{"author":[{"@pid":"c/RCleaveland","text":"Rance Cleaveland"},{"@pid":"174/9889","text":"Jayesh N. Gada"},{"@pid":"l/PhilipMLewis","text":"Philip M. Lewis"},{"@pid":"s/ScottASmolka","text":"Scott A. Smolka"},{"@pid":"31/4030","text":"Oleg Sokolsky"},{"@pid":"18/1367","text":"Shipei Zhang"}]},"title":"The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems.","venue":"Specification of Parallel Algorithms","pages":"75-89","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/CleavelandGLSSZ94","doi":"10.1090/DIMACS/018/06","ee":"https://doi.org/10.1090/dimacs/018/06","url":"https://dblp.org/rec/conf/dimacs/CleavelandGLSSZ94"}, "url":"URL#6802312" }, { "@score":"1", "@id":"6802318", "info":{"authors":{"author":[{"@pid":"34/957","text":"Thomas DeBoni"},{"@pid":"58/5212","text":"John Feo"},{"@pid":"174/9716","text":"Hugh Caffey"},{"@pid":"02/2042","text":"Frederick H. Hausheer"}]},"title":"Developing Molecular Dynamics Simulation Codes Using Mixed Language Programming.","venue":"Specification of Parallel Algorithms","pages":"225-238","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/DeBoniFCH94","doi":"10.1090/DIMACS/018/15","ee":"https://doi.org/10.1090/dimacs/018/15","url":"https://dblp.org/rec/conf/dimacs/DeBoniFCH94"}, "url":"URL#6802318" }, { "@score":"1", "@id":"6802330", "info":{"authors":{"author":[{"@pid":"01/5453","text":"Allen Goldberg"},{"@pid":"74/1910","text":"Peter Mills"},{"@pid":"21/3433","text":"Lars S. Nyland"},{"@pid":"p/JanPrins","text":"Jan F. Prins"},{"@pid":"r/JohnHReif","text":"John H. Reif"},{"@pid":"04/522","text":"James Riely"}]},"title":"Specification and Development of Parallel Algorithms with the Proteus System.","venue":"Specification of Parallel Algorithms","pages":"383-399","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/GoldbergMNPRR94","doi":"10.1090/DIMACS/018/23","ee":"https://doi.org/10.1090/dimacs/018/23","url":"https://dblp.org/rec/conf/dimacs/GoldbergMNPRR94"}, "url":"URL#6802330" }, { "@score":"1", "@id":"6802338", "info":{"authors":{"author":{"@pid":"121/3925","text":"Susan Flynn Hummel"}},"title":"On the Implementation of Set-based Parallel Algorithms.","venue":"Specification of Parallel Algorithms","pages":"101-114","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/Hummel94","doi":"10.1090/DIMACS/018/08","ee":"https://doi.org/10.1090/dimacs/018/08","url":"https://dblp.org/rec/conf/dimacs/Hummel94"}, "url":"URL#6802338" }, { "@score":"1", "@id":"6802339", "info":{"authors":{"author":[{"@pid":"53/2930","text":"Michel Hurfin"},{"@pid":"74/5308","text":"Noël Plouzeau"},{"@pid":"r/MichelRaynal","text":"Michel Raynal"}]},"title":"On Granularity of Events in Distributed Computations.","venue":"Specification of Parallel Algorithms","pages":"115-124","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/HurfinPR94","doi":"10.1090/DIMACS/018/09","ee":"https://doi.org/10.1090/dimacs/018/09","url":"https://dblp.org/rec/conf/dimacs/HurfinPR94"}, "url":"URL#6802339" }, { "@score":"1", "@id":"6802350", "info":{"authors":{"author":{"@pid":"l/LeslieLamport","text":"Leslie Lamport"}},"title":"TLA in Pictures.","venue":"Specification of Parallel Algorithms","pages":"293-307","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/Lamport94","doi":"10.1090/DIMACS/018/19","ee":"https://doi.org/10.1090/dimacs/018/19","url":"https://dblp.org/rec/conf/dimacs/Lamport94"}, "url":"URL#6802350" }, { "@score":"1", "@id":"6802352", "info":{"authors":{"author":[{"@pid":"l/PatrickLincoln","text":"Patrick Lincoln"},{"@pid":"34/4176","text":"Narciso Martí-Oliet"},{"@pid":"m/JoseMeseguer","text":"José Meseguer 0001"}]},"title":"Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic.","venue":"Specification of Parallel Algorithms","pages":"309-339","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/LincolnMM94","doi":"10.1090/DIMACS/018/20","ee":"https://doi.org/10.1090/dimacs/018/20","url":"https://dblp.org/rec/conf/dimacs/LincolnMM94"}, "url":"URL#6802352" }, { "@score":"1", "@id":"6802353", "info":{"authors":{"author":{"@pid":"l/NancyALynch","text":"Nancy A. Lynch"}},"title":"Atomic Transactions for Multiprocessor Programming: A Formal Approach.","venue":"Specification of Parallel Algorithms","pages":"125-142","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/Lynch94","doi":"10.1090/DIMACS/018/10","ee":"https://doi.org/10.1090/dimacs/018/10","url":"https://dblp.org/rec/conf/dimacs/Lynch94"}, "url":"URL#6802353" }, { "@score":"1", "@id":"6802355", "info":{"authors":{"author":{"@pid":"m/WilliamFMcColl","text":"William F. McColl"}},"title":"BSP Programming.","venue":"Specification of Parallel Algorithms","pages":"21-35","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/McColl94","doi":"10.1090/DIMACS/018/02","ee":"https://doi.org/10.1090/dimacs/018/02","url":"https://dblp.org/rec/conf/dimacs/McColl94"}, "url":"URL#6802355" }, { "@score":"1", "@id":"6802356", "info":{"authors":{"author":{"@pid":"73/4987","text":"Daniel Le Métayer"}},"title":"Higher-Order Multiset Programming.","venue":"Specification of Parallel Algorithms","pages":"179-200","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/Metayer94","doi":"10.1090/DIMACS/018/13","ee":"https://doi.org/10.1090/dimacs/018/13","url":"https://dblp.org/rec/conf/dimacs/Metayer94"}, "url":"URL#6802356" }, { "@score":"1", "@id":"6802358", "info":{"authors":{"author":{"@pid":"m/JayadevMisra","text":"Jayadev Misra"}},"title":"A Discipline of Multiprogramming.","venue":"Specification of Parallel Algorithms","pages":"357-381","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/Misra94","doi":"10.1090/DIMACS/018/22","ee":"https://doi.org/10.1090/dimacs/018/22","url":"https://dblp.org/rec/conf/dimacs/Misra94"}, "url":"URL#6802358" }, { "@score":"1", "@id":"6802374", "info":{"authors":{"author":{"@pid":"s/DavidBSkillicorn","text":"David B. Skillicorn"}},"title":"Building Categorical Data Type Programs.","venue":"Specification of Parallel Algorithms","pages":"65-73","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/Skillicorn94","doi":"10.1090/DIMACS/018/05","ee":"https://doi.org/10.1090/dimacs/018/05","url":"https://dblp.org/rec/conf/dimacs/Skillicorn94"}, "url":"URL#6802374" }, { "@score":"1", "@id":"6802376", "info":{"authors":{"author":{"@pid":"s/LawrenceSnyder","text":"Lawrence Snyder"}},"title":"A Practical Parallel Programming Model.","venue":"Specification of Parallel Algorithms","pages":"143-160","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/Snyder94","doi":"10.1090/DIMACS/018/11","ee":"https://doi.org/10.1090/dimacs/018/11","url":"https://dblp.org/rec/conf/dimacs/Snyder94"}, "url":"URL#6802376" }, { "@score":"1", "@id":"6802379", "info":{"authors":{"author":{"@pid":"s/BKSzymanski","text":"Boleslaw K. Szymanski"}},"title":"Specifying Parallel Programs in a Functional Language: The EPL Experience.","venue":"Specification of Parallel Algorithms","pages":"201-223","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/Szymanski94","doi":"10.1090/DIMACS/018/14","ee":"https://doi.org/10.1090/dimacs/018/14","url":"https://dblp.org/rec/conf/dimacs/Szymanski94"}, "url":"URL#6802379" }, { "@score":"1", "@id":"6802380", "info":{"authors":{"author":[{"@pid":"42/1786","text":"Kenjiro Taura"},{"@pid":"57/4464","text":"Satoshi Matsuoka"},{"@pid":"y/AkinoriYonezawa","text":"Akinori Yonezawa"}]},"title":"ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language- Its Design and Implementation.","venue":"Specification of Parallel Algorithms","pages":"275-291","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/TauraMY94","doi":"10.1090/DIMACS/018/18","ee":"https://doi.org/10.1090/dimacs/018/18","url":"https://dblp.org/rec/conf/dimacs/TauraMY94"}, "url":"URL#6802380" }, { "@score":"1", "@id":"6802381", "info":{"authors":{"author":[{"@pid":"t/YihKuenTsay","text":"Yih-Kuen Tsay"},{"@pid":"b/RBagrodia","text":"Rajive L. Bagrodia"}]},"title":"Operational Implication of Conditional Unity Properties.","venue":"Specification of Parallel Algorithms","pages":"91-100","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/TsayB94","doi":"10.1090/DIMACS/018/07","ee":"https://doi.org/10.1090/dimacs/018/07","url":"https://dblp.org/rec/conf/dimacs/TsayB94"}, "url":"URL#6802381" }, { "@score":"1", "@id":"6802382", "info":{"authors":{"author":{"@pid":"u/KazunoriUeda","text":"Kazunori Ueda"}},"title":"The Mode System of Moded Flat GHC.","venue":"Specification of Parallel Algorithms","pages":"259-274","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/Ueda94","doi":"10.1090/DIMACS/018/17","ee":"https://doi.org/10.1090/dimacs/018/17","url":"https://dblp.org/rec/conf/dimacs/Ueda94"}, "url":"URL#6802382" }, { "@score":"1", "@id":"6802383", "info":{"authors":{"author":{"@pid":"w/PeterWegner","text":"Peter Wegner"}},"title":"Beyond Computable Functions or Escape from the Turing Tarpit.","venue":"Specification of Parallel Algorithms","pages":"37-50","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/Wegner94","doi":"10.1090/DIMACS/018/03","ee":"https://doi.org/10.1090/dimacs/018/03","url":"https://dblp.org/rec/conf/dimacs/Wegner94"}, "url":"URL#6802383" }, { "@score":"1", "@id":"6802384", "info":{"title":"Foreward.","venue":"Specification of Parallel Algorithms","pages":"ix-","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/X94","url":"https://dblp.org/rec/conf/dimacs/X94"}, "url":"URL#6802384" }, { "@score":"1", "@id":"6802385", "info":{"title":"Preface.","venue":"Specification of Parallel Algorithms","pages":"xi-","year":"1994","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/dimacs/X94a","url":"https://dblp.org/rec/conf/dimacs/X94a"}, "url":"URL#6802385" }, { "@score":"1", "@id":"6820545", "info":{"authors":{"author":[{"@pid":"b/GEBlelloch","text":"Guy E. Blelloch"},{"@pid":"c/KManiChandy","text":"K. Mani Chandy"},{"@pid":"j/SJagannathan","text":"Suresh Jagannathan"}]},"title":"Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994","venue":["Specification of Parallel Algorithms","DIMACS Series in Discrete Mathematics and Theoretical Computer Science"],"volume":"18","publisher":"DIMACS/AMS","year":"1994","type":"Editorship","key":"conf/dimacs/dimacs18","doi":"10.1090/DIMACS/018","ee":"https://doi.org/10.1090/dimacs/018","url":"https://dblp.org/rec/conf/dimacs/dimacs18"}, "url":"URL#6820545" } ] } } } )