Lock-Free Stack and Queue: Java vs .NETBOTINCAN, Matko; RUNJE, Davor.Information technology interfaces. 2007, pp 741-746, isbn 978-953-7138-09-7, 1Vol, 6 p.Conference Paper

A transparent operating system infrastructure for embedding adaptability to thread-based programming modelsVENETIS, Ioannis E; NIKOLOPOULOS, Dimitrios S; PAPATHEODOROU, Theodore S et al.Lecture notes in computer science. 2001, pp 514-523, issn 0302-9743, isbn 3-540-42495-4Conference Paper

Software Transactional Memory : Why is it Only a Research Toy?CASCAVALI, Calin; BLUNDELL, Colin; MICHAEL, Maged et al.Communications of the ACM. 2008, Vol 51, Num 11, pp 40-46, issn 0001-0782, 7 p.Article

Analysis of multithreaded programsRINARD, Martin.Lecture notes in computer science. 2001, pp 1-19, issn 0302-9743, isbn 3-540-42314-1Conference Paper

Thread-modular model checkingFLANAGAN, Cormac; QADEER, Shaz.Lecture notes in computer science. 2003, pp 213-224, issn 0302-9743, isbn 3-540-40117-2, 12 p.Conference Paper

OpenMP extensions for thread groups and their run-time supportGONZALEZ, Marc; OLIVER, Jose; MARTORELL, Xavier et al.Lecture notes in computer science. 2001, pp 324-338, issn 0302-9743, isbn 3-540-42862-3Conference Paper

RÉPARTITION DE CHARGE DYNAMIQUE A L'INITIATIVE DES PROCESSUS : ÉTUDE, ALGORITHMES ET IMPLÉMENTATIONS = DYNAMIC LOAD SHARING BASED ON PROCESS INITIATIVE : STUDY, ALGORITHMS AND IMPLEMENTATIONSLang, Christophe; Trehel, Michel.1999, 148 p.Thesis

Mise en œuvre d'un environnement objet distribué et modélisation des threads Java = Design and implementation of a distributed object environment and modeling of Java threadsUgarte, Asier; Chaumette, Serge.2001, 206 p.Thesis

The mathematics of eigenvalue optimizationLEWIS, A. S.Mathematical programming. 2003, Vol 97, Num 1-2, pp 155-176, issn 0025-5610, 22 p.Article

Events in haskell, and how to implement themRUSSELL, George.ACM SIGPLAN notices. 2001, Vol 36, Num 10, pp 157-168, issn 1523-2867Conference Paper

Thread transparency in information flow middlewareKOSTER, Rainer; BLACK, Andrew P; HUANG, Jie et al.Lecture notes in computer science. 2001, pp 121-140, issn 0302-9743, isbn 3-540-42800-3Conference Paper

Mechanistic model for tapping process with emphasis on process faults and hole geometryDOGRA, Ajit Pal S; KAPOOR, Shiv G; DEVOR, Richard E et al.Journal of manufacturing science and engineering. 2002, Vol 124, Num 1, pp 18-25, issn 1087-1357Article

Accordion clocks : Logical clocks for data race detectionCHRISTIAENS, Mark; DE BOSSCHERE, Koen.Lecture notes in computer science. 2001, pp 494-503, issn 0302-9743, isbn 3-540-42495-4Conference Paper

Support for MPI at the network interface levelTOURANCHEAU, Bernard; WESTRELIN, Roland.Lecture notes in computer science. 2001, pp 52-60, issn 0302-9743, isbn 3-540-42609-4Conference Paper

On improving thread migration: Safety and performanceHAI JIANG; CHAUDHARY, Vipin.Lecture notes in computer science. 2002, pp 474-484, issn 0302-9743, isbn 3-540-00303-7, 11 p.Conference Paper

Why STM Can Be More Than A Research ToyDRAGOJEVIC, Aleksandar; FELBER, Pascal; GRAMOLI, Vincent et al.Communications of the ACM. 2011, Vol 54, Num 4, pp 70-77, issn 0001-0782, 8 p.Article

Compiler-assisted thread level control speculationMIURA, Hideyuki; LUONG DINH HUNG; IWAMA, Chitaka et al.Lecture notes in computer science. 2003, pp 603-608, issn 0302-9743, isbn 3-540-40788-X, 6 p.Conference Paper

On-line multi-threaded pagingFEUERSTEIN, E; STREJILEVICH DE LOMA, A.Algorithmica. 2002, Vol 32, Num 1, pp 36-60, issn 0178-4617Article

Mobilité et Persistance des Applications dans l'Environnement Java = Applications Mobility and Persistence in the Java EnvironmentBouchenak, Sara; Hagimont, Dadiel.2001, 201 p.Thesis

Capriccio: Scalable threads for Internet servicesVON BEHREN, Rob; CONDIT, Jeremy; ZHOU, Feng et al.Operating systems review. 2003, Vol 37, Num 5, pp 268-281, issn 0163-5980, 14 p.Conference Paper

Atomic instructions in JavaHOVEMEYER, David; PUGH, William; SPACCO, Jaime et al.Lecture notes in computer science. 2002, pp 133-154, issn 0302-9743, isbn 3-540-43759-2, 22 p.Conference Paper

Categorical and Kripke semantics for constructive s4 modal logicALECHINA, Natasha; MENDLER, Michael; DE PAIVA, Valeria et al.Lecture notes in computer science. 2001, pp 292-307, issn 0302-9743, isbn 3-540-42554-3Conference Paper

Parallel pruning for K-means clustering on shared memory architecturesGIIRSOY, Attila; CENGIZ, Ilker.Lecture notes in computer science. 2001, pp 321-325, issn 0302-9743, isbn 3-540-42495-4Conference Paper

Une approche formelle pour le test de conformité de processus mobile = A formal approach to the conformity test of threadMARCHE, Mikaël; QUEMENER, Yves-Marie.Rencontres francophones du parallélisme des arxhitectures et des systèmes. 2001, pp 197-202Conference Paper

Bolt head fillet stress concentration factors in cylindrical Pressure vesselsSRINIVASAN, Gowri; LEHNHOFF, Terry F.Journal of pressure vessel technology. 2001, Vol 123, Num 3, pp 381-386, issn 0094-9930Article