|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 56 occurrences of 49 keywords
|
|
|
Results
Found 89 publication records. Showing 89 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
75 | Tomás Plachetka |
(Quasi-) Thread-Safe PVM and (Quasi-) Thread-Safe MPI without Active Polling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29 - October 2, 2002, Proceedings, pp. 296-305, 2002, Springer, 3-540-44296-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
thread-safety, MPI, efficiency, latency, PVM, polling |
59 | Diego Alonso, Cristina Vicente-Chicote, Juan Angel Pastor, Bárbara Álvarez |
StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 158-170, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model-To-Text Transformation, Thread-Safe Code Generation, Eclipse platform, Finite State Machines, Model-Driven Engineering |
49 | William D. Gropp, Rajeev Thakur |
Issues in Developing a Thread-Safe MPI Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings, pp. 12-21, 2006, Springer, 3-540-39110-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Heinz Kredel |
On the design of a Java computer algebra system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, PPPJ 2006, Mannheim, Germany, August 30 - September 1, 2006, pp. 143-152, 2006, ACM, 3-939352-05-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer algebra library, thread-safe, type-safe, multivariate polynomials |
37 | Kevin Klues, Chieh-Jan Mike Liang, Jeongyeup Paek, Razvan Musaloiu-Elefteri, Philip Alexander Levis, Andreas Terzis, Ramesh Govindan |
TOSThreads: thread-safe and non-invasive preemption in TinyOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, SenSys 2009, Berkeley, California, USA, November 4-6, 2009, pp. 127-140, 2009, ACM, 978-1-60558-519-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
sensor networks, multi-threading, TinyOS |
37 | Alan D. Fekete |
Teaching students to develop thread-safe java classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008, pp. 119-123, 2008, ACM, 978-1-60558-078-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data interference, thread-safety, concurrency, synchronization, race conditions |
32 | Mark Baker, Bryan Carpenter, Aamir Shafi |
MPJ Express: Towards Thread Safe Java HPC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2006 IEEE International Conference on Cluster Computing, September 25-28, 2006, Barcelona, Spain, 2006, IEEE Computer Society, 1-4244-0328-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Gerrit Voss, Johannes Behr, Dirk Reiners, Marcus Roth |
A multi-thread safe foundation for scene graphs and its extension to clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGPGV ![In: 4th Eurographics Workshop on Parallel Graphics and Visualization, EGPGV 2002, Blaubeuren, Germany, September 9-10, 2002, pp. 33-37, 2002, Eurographics Association, 1-58113-579-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Marco Danelutto, Geppino Pucci |
A Compact, Thread-Safe Communication Library for Efficient Cluster Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, 8th International Conference, HPCN Europe 2000, Amsterdam, The Netherlands, May 8-10, 2000, Proceedings, pp. 407-416, 2000, Springer, 3-540-67553-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Torben Weis, Marian Waltereit, Maximilian Uphoff |
Fyr: a memory-safe and thread-safe systems programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019, pp. 1574-1577, 2019, ACM, 978-1-4503-5933-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Tim Harris 0001, Mark Plesko, Avraham Shinnar, David Tarditi |
Optimizing memory transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 14-25, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
critical regions, transactional memory, atomicity |
28 | Fabio Giannetti, Luiz Gustavo Fernandes, Rogerio Timmers, Thiago Nunes, Mateus Raeder, Márcio Castro 0001 |
High performance XSL-FO rendering for variable data printing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 811-817, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
FOP, PPML/T, PRL, VDP, thread-safe, high performance, XSL-FO, PPML |
28 | Philippe Stellwag, Alexander Ditter, Wolfgang Schröder-Preikschat |
A wait-free queue for multiple enqueuers and multiple dequeuers using local preferences and pragmatic extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Fourth International Symposium on Industrial Embedded Systems, SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8-10, 2009, pp. 237-248, 2009, IEEE, 978-1-4244-4110-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Ulrike Glavitsch, Thomas M. Frey |
A Case Study in Concurrent Programming with Active Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings, pp. 403-414, 2006, Springer, 3-540-40927-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Dan Grossman, Jeremy Manson, William W. Pugh |
What do high-level memory models mean for transactions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 62-69, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Félix García 0002, Alejandro Calderón 0001, Jesús Carretero 0001 |
MiMPI: A Multithred-Safe Implementation of MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, pp. 207-214, 1999, Springer, 3-540-66549-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Parallel programming, MPI, message-passing, threads |
21 | Deepanjali Mishra, Konstantinos Kanellopoulos, Ashish Panwar, Akshitha Sriraman, Vivek Seshadri, Onur Mutlu, Todd C. Mowry |
Address Scaling: Architectural Support for Fine-Grained Thread-Safe Metadata Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 23(1), pp. 69-72, January - June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Andrea Montessori, Marco Lauricella 0001, Adriano Tiribocchi, Mihir Durve, Michele La Rocca 0002, Giorgio Amati, Fabio Bonaccorso, Sauro Succi |
Thread-safe lattice Boltzmann for high-performance computing on GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.06437, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Andrea Montessori, Marco Lauricella 0001, Adriano Tiribocchi, Mihir Durve, Michele La Rocca 0002, Giorgio Amati, Fabio Bonaccorso, Sauro Succi |
Thread-safe lattice Boltzmann for high-performance computing on GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 74, pp. 102165, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck |
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, pp. 422-459, 2022, Springer, 978-3-031-19848-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck |
A thread-safe Term Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.02706, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Valerio Terragni, Mauro Pezzè |
Statically driven generation of concurrent tests for thread-safe classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 31(4), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Grey Ballard, Sarah Parsons |
Visualizing Parallel Dynamic Programming using the Thread Safe Graphics Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EduHPC@SC ![In: 9th IEEE/ACM Workshop on Education for High Performance Computing, EduHPC@SC 2021, St. Louis, MO, USA, November 14, 2021, pp. 24-31, 2021, IEEE, 978-1-6654-1116-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Haichi Wang, Zan Wang, Jun Sun 0001, Shuang Liu 0007, Ayesha Sadiq, Yuan-Fang Li |
Towards Generating Thread-Safe Classes Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 943-955, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Lili Bo, Shujuan Jiang, Junyan Qian, Rongcun Wang, Xingya Wang |
Efficient Test Case Generation for Thread-Safe Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 26984-26995, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Valerio Terragni, Mauro Pezzè, Francesco Adalberto Bianchi |
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019, pp. 264-275, 2019, IEEE, 978-1-7281-1736-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Zan Wang, Yingquan Zhao, Shuang Liu 0007, Jun Sun 0001, Xiang Chen 0005, Huarui Lin |
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 722-734, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini |
Thread-safe reactive programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(OOPSLA), pp. 107:1-107:30, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Russell Y. Neches, Camille Scott |
SuchTree: Fast, thread-safe computations with phylogenetic trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 3(26), pp. 678, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Michael J. Vrhel, Robin Watts, Raymond Johnston |
LittleCMS-MT: A thread-safe open source color management library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIC ![In: 26th Color and Imaging Conference, CIC 2018, Vancouver, BC, Canada, November 12-16, 2018, pp. 383-389, 2018, Society for Imaging Science and Technology, 978-0-89208-337-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Habib, Michael Pradel |
Is this class thread-safe? inferring documentation using graph-based learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, pp. 41-52, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Valerio Terragni, Mauro Pezzè |
Effectiveness and challenges in generating concurrent tests for thread-safe classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, pp. 64-75, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Óscar Mortágua Pereira, Rui L. Aguiar |
Enhancing Call-Level Interfaces with Thread-Safe Local Memory Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 27(9-10), pp. 1549-1566, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Óscar Mortágua Pereira, Rui L. Aguiar |
Concurrent Call Level Interfaces Based on an Embedded Thread Safe Local Memory Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017., pp. 129-134, 2017, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-41-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Erick Elejalde, José Fuentes-Sepúlveda, Leo Ferres |
Empirical Evaluation of a Thread-Safe Dynamic Range Min-Max Tree using HTM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.05922, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Benoit Daloze, Stefan Marr, Daniele Bonetta, Hanspeter Mössenböck |
Efficient and thread-safe objects for dynamically-typed languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016, pp. 642-659, 2016, ACM, 978-1-4503-4444-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Naveen Namashivayam, David Knaak, Bob Cernohous, Nick Radcliffe, Mark Pagel |
An Evaluation of Thread-Safe and Contexts-Domains Features in Cray SHMEM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OpenSHMEM ![In: OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments - Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2-4, 2016, Revised Selected Papers, pp. 163-180, 2016, Springer, 978-3-319-50994-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Gustavo Pinto 0001, Kenan Liu, Fernando Castor, Yu David Liu |
Artifacts for "A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016, pp. 614-615, 2016, IEEE Computer Society, 978-1-5090-3806-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Gustavo Pinto 0001, Kenan Liu, Fernando Castor, Yu David Liu |
A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016, pp. 20-31, 2016, IEEE Computer Society, 978-1-5090-3806-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Joel C. Adams, Patrick A. Crain, Mark B. Vander Stel |
TSGL a Thread Safe Graphics Library for Visualizing Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Proceedings of the International Conference on Computational Science, ICCS 2015, Computational Science at the Gates of Nature, Reykjavík, Iceland, 1-3 June, 2015, 2014, pp. 1986-1995, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Monika ten Bruggencate, Duncan Roweth, Steve Oyanagi |
Thread-Safe SHMEM Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OpenSHMEM ![In: OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools - First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings, pp. 178-185, 2014, Springer, 978-3-319-05214-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Minh Hoai, Andrew Zisserman |
Thread-Safe: Towards Recognizing Human Actions Across Shot Boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (4) ![In: Computer Vision - ACCV 2014 - 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV, pp. 222-237, 2014, Springer, 978-3-319-16816-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Alberto Lovato, Damiano Macedonio, Fausto Spoto |
A Thread-Safe Library for Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings, pp. 35-49, 2014, Springer, 978-3-319-10430-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Christian Pinto, Luca Benini |
A highly efficient, thread-safe software cache implementation for tightly-coupled multicore clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 24th International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2013, Washington, DC, USA, June 5-7, 2013, pp. 281-288, 2013, IEEE Computer Society, 978-1-4799-0494-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa 0001 |
Using program closures to make an application programming interface (API) implementation thread safe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012, pp. 18-24, 2012, ACM, 978-1-4503-1456-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Michael Lesniak |
Thread-Safe Priority Queues in Haskell Based on Skiplists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers, pp. 114-129, 2011, Springer, 978-3-642-32036-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Adam R. Smith, Prasad A. Kulkarni |
Localizing globals and statics to make C programs thread-safe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 14th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011, pp. 205-214, 2011, ACM, 978-1-4503-0713-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | JaeWoong Chung, Michael Dalton, Hari Kannan, Christos Kozyrakis |
Thread-safe dynamic binary translation using transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 14th International Conference on High-Performance Computer Architecture (HPCA-14 2008), 16-20 February 2008, Salt Lake City, UT, USA, pp. 279-289, 2008, IEEE Computer Society, 978-1-4244-2070-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Richard West, Gary T. Wong |
Cuckoo: a Language for Implementing Memory- and Thread-safe System Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 94-100, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Thomas Frey |
Bluebottle: a thread-safe multimedia and GUI framework for Active Oberon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
21 | Thomas M. Frey |
Bluebottle: A Thread-safe Multimedia and GUI Framework for Active Oberon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
21 | Nicholas I. M. Gould, Dominique Orban, Philippe L. Toint |
GALAHAD, a library of thread-safe Fortran 90 packages for large-scale nonlinear optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 29(4), pp. 353-372, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
GALAHAD, LANCELOT, large-scale nonlinear optimization, large-scale quadratic programming, Fortran 90 |
21 | Thomas M. Frey |
Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings, pp. 188-191, 2003, Springer, 3-540-40796-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Marcel P. van Lohuizen |
Memory-Efficient and Thread-Safe Quasi-Destructive Graph Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 38th Annual Meeting of the Association for Computational Linguistics, Hong Kong, China, October 1-8, 2000., pp. 352-359, 2000, ACL. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Aaron Cohen, Mike Woodring |
Win32 multithreaded programming - building thread-safe applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
17 | Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan |
Line-up: a complete and automatic linearizability checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 330-340, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
thread safety, atomicity, linearizability |
17 | François Trahay, Elisabeth Brunet, Alexandre Denis 0001 |
An analysis of the impact of multi-threading on communication performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-7, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir |
Nonblocking memory management support for dynamic-sized data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 23(2), pp. 146-196, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Multiprocessors, memory management, dynamic data structures, concurrent data structures, nonblocking synchronization |
17 | Sascha Hunold, Thomas Rauber |
Reducing the Overhead of Intra-Node Communication in Clusters of SMPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings, pp. 58-65, 2005, Springer, 3-540-29769-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
message passing between threads, parallel programming models, clusters of SMPs |
17 | Hong Tang 0004, Tao Yang 0009 |
Optimizing threaded MPI execution on SMP clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 15th international conference on Supercomputing, ICS 2001, Sorrento, Napoli, Italy, June 16-21, 2001, pp. 381-392, 2001, ACM, 1-58113-410-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
MPI, multi-threading, communication optimization, SMP clusters |
17 | Mitsuhisa Sato, Motonori Hirano, Yoshio Tanaka, Satoshi Sekiguchi |
OmniRPC: A Grid RPC Facility for Cluster and Global Computing in OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOMPAT ![In: OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings, pp. 130-136, 2001, Springer, 3-540-42346-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Heinz Kredel |
Evaluation of a Java Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCM ![In: Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers, pp. 121-138, 2007, Springer, 978-3-540-87826-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Joshua J. Bloch |
How to design a good API and why it matters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 506-507, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | William N. Scherer III, Doug Lea, Michael L. Scott |
Scalable synchronous queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 52(5), pp. 100-111, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Nathar Shah |
Aspectising Concurrency for the RTSJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings, pp. 79-84, 2009, Springer, 978-3-540-92294-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Concurrency, Object-Orientation, Aspect-Orientation |
11 | Danny Dig, John Marrero, Michael D. Ernst |
Refactoring sequential Java code for concurrency via concurrent libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 397-407, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Rajeev Thakur |
Toward Efficient Support for Multithreaded MPI Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings, pp. 120-129, 2008, Springer, 978-3-540-87474-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Aamir Shafi, Aftab Hussain 0002, Jamil Raza |
A parallel implementation of the Finite-Domain Time-Difference algorithm using MPJ express. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-6, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ralph Acker, Christian Roth, Rudolf Bayer |
Parallel Query Processing in Databases on Multicore Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP ![In: Algorithms and Architectures for Parallel Processing, 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008, Proceedings, pp. 2-13, 2008, Springer, 978-3-540-69500-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
relational dbms, intra-operator, inter-operator, scheduling, optimization, encapsulation, parallel query processing |
11 | Gabriel Tanase, Chidambareswaran Raman, Mauro Bianco, Nancy M. Amato, Lawrence Rauchwerger |
Associative Parallel Containers in STAPL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers, pp. 156-171, 2007, Springer, 978-3-540-85260-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Abdelsalam Shanneb, John Potter |
Lock Selection Made Easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia, pp. 341-350, 2006, IEEE Computer Society, 0-7695-2551-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Daniel K. Blandford, Guy E. Blelloch, Clemens Kadow |
Engineering a compact parallel delaunay algorithm in 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 22nd ACM Symposium on Computational Geometry, Sedona, Arizona, USA, June 5-7, 2006, pp. 292-300, 2006, ACM, 1-59593-340-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
parallel, meshing, space-efficient, Delaunay |
11 | Gérard Boudol |
Shared-Variable Concurrency: A Proposal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, pp. 1-3, 2006, Springer, 3-540-49994-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Elaine Cheong, Jie Liu 0001 |
galsC: A Language for Event-Driven Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 1050-1055, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Emmanuel Jeannot |
Improving Middleware Performance with AdOC: An Adaptive Online Compression Library for Data Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Philip H. Carns, Robert B. Ross, Walter B. Ligon III, Pete Wyckoff |
BMI: A Network Abstraction Layer for Parallel I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Eduardo Rocha Rodrigues, Airam Jonatas Preto, Stephan Stephany |
A new parallel environment for interactive simulations implementing safe multithreading with MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBAC-PAD ![In: 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 24-27 October 2005, Rio de Janeiro, Brazil, pp. 151-158, 2005, IEEE Computer Society, 0-7695-2446-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Yang-Suk Kee, Jin-Soo Kim 0001, Woo-Chul Jeun, Soonhoi Ha |
Atomic Page Update Methods for OpenMP-Aware Software DSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 12th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2004), 11-13 February 2004, A Coruna, Spain, pp. 144-151, 2004, IEEE Computer Society, 0-7695-2083-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Rob T. Aulwes, David J. Daniel, Nehal N. Desai, Richard L. Graham, L. Dean Risinger, Mark A. Taylor, Timothy S. Woodall, Mitchel W. Sukalski |
Architecture of LA-MPI, A Network-Fault-Tolerant MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Kwong-Ip Liu, Fred J. Hickernell |
A Scalable Low Discrepancy Point Generator for Parallel Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, Second InternationalSymposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings, pp. 257-262, 2004, Springer, 3-540-24128-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Monte Carlo and Quasi-Monte Carlo methods, digital nets, parallel programming, software library |
11 | Bruce Spencer, Sandy Liu |
Inference Queues for Communicating and Monitoring Declarative Information between Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rules and Rule Markup Languages for the Semantic Web, Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings, pp. 121-135, 2003, Springer, 3-540-20361-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Mitsuhisa Sato, Taisuke Boku, Daisuke Takahashi |
OmniRPC: a Grid RPC ystem for Parallel Programming in Cluster and Grid Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 12-15 May 2003, Tokyo, Japan, pp. 206-213, 2003, IEEE Computer Society, 0-7695-1919-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Daniel J. Quinlan, Markus Schordan, Qing Yi, Bronis R. de Supinski |
Semantic-Driven Parallelization of Loops Operating on User-Defined Containers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003, Revised Papers, pp. 524-538, 2003, Springer, 3-540-21199-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Phil Bagwell |
Fast Functional Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 34-50, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Alejandro Calderón 0001, Félix García 0002, Jesús Carretero 0001, Javier Fernández 0001, Oscar Pérez |
New Techniques for Collective Communications in Clusters: A Case Study with MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2001 International Conference on Parallel Processing, ICPP 2002, 3-7 September 2001, Valencia, Spain, pp. 185-194, 2001, IEEE Computer Society, 0-7695-1257-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Ole Agesen, David Detlefs, Alex Garthwaite, Ross C. Knippel, Y. S. Ramakrishna, Derek White |
An Efficient Meta-Lock for Implementing Ubiquitous Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999., pp. 207-222, 1999, ACM, 1-58113-238-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
concurrent threads, object-oriented language implementation, synchronization |
11 | Juan Carlos Díaz Martín, Isidro Irala Veloso, José Manuel Rodríguez García |
Building Tcl-Tk GUIs for HRT-HOOD systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999., pp. 113-123, 1999, ACM, 1-58113-127-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
HRT-HOOD, Tcl-Tk, TAXIS, real time systems, user interfaces, Ada, Tcl |
11 | David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano |
Thin locks: featherweight Synchronization for Java (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 583-595, 1998, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano |
Thin Locks: Featherweight Synchronization for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 258-268, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
AIX, Java |
Displaying result #1 - #89 of 89 (100 per page; Change: )
|
|