|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 28 occurrences of 26 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan |
Line-up: a complete and automatic linearizability checker.  |
PLDI  |
2010 |
DBLP DOI BibTeX RDF |
thread safety, atomicity, linearizability |
| 2 | Tomas Plachetka |
(Quasi-) Thread-Safe PVM and (Quasi-) Thread-Safe MPI without Active Polling. |
PVM/MPI |
2002 |
DBLP DOI BibTeX RDF |
thread-safety, MPI, efficiency, latency, PVM, polling |
| 1 | Kevin Klues, Chieh-Jan Mike Liang, Jeongyeup Paek, Razvan Musaloiu-Elefteri, Philip Levis, Andreas Terzis, Ramesh Govindan |
TOSThreads: thread-safe and non-invasive preemption in TinyOS. |
SenSys |
2009 |
DBLP DOI BibTeX RDF |
sensor networks, multi-threading, TinyOS |
| 1 | François Trahay, Elisabeth Brunet, Alexandre Denis |
An analysis of the impact of multi-threading on communication performance. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas D. Matsakis, Thomas R. Gross |
Thread Safety through Partitions and Effect Agreements. |
LCPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan David Fekete |
Teaching students to develop thread-safe java classes. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
data interference, thread-safety, concurrency, synchronization, race conditions |
| 1 | Ian Rogers, Jisheng Zhao, Chris C. Kirkham, Ian Watson |
Constraint based optimization of stationary fields. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
Concurrent Contracts for Java in JML. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoning Ma, Jiancheng Fang, Wei Sheng |
Development of an Onboard Software System for Mini Unmanned Aerial Vehicle Based on VxWorks. |
ICIRA |
2008 |
DBLP DOI BibTeX RDF |
VxWorks, flight software, shared memory, unmanned aerial vehicle (UAV), inter-process communication |
| 1 | William Gropp, Rajeev Thakur |
Thread-safety in an MPI implementation: Requirements and analysis. |
Parallel Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Thakur, William Gropp |
Test Suite for Evaluating Performance of MPI Implementations That Support MPI_THREAD_MULTIPLE. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Riley, Craig B. Zilles |
Hardware tansactional memory support for lightweight dynamic language evolution. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
concurrency, safety, transactional memory, Python, locking, dynamic languages |
| 1 | William D. Gropp, Rajeev Thakur |
Issues in Developing a Thread-Safe MPI Implementation. |
PVM/MPI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas M. Frey |
Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Petersen, Sanjiv Shah |
OpenMP Support in the Intel® Thread Checker. |
WOMPAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Greenhouse, William L. Scherlis |
Assuring and evolving concurrent programs: annotations and policy. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Robert E. Strom, Ashis Tarafdar |
Guava: a dialect of Java without data races. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
thread safety, Java, Java, concurrency, monitors, multiprocessors, programming languages, data races |
| 1 | Fernando Elson Mourão, João Gabriel Silva |
Implementing MPI's One-Sided Communications for WMPI. |
PVM/MPI |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")