↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Tyck till om SwePub Sök här!

Träfflista för sökning "LAR1:uu ;conttype:(scientificother);mspu:(conferencepaper)"

Sökning: LAR1:uu > Övrigt vetenskapligt/konstnärligt > Konferensbidrag

Resultat 1-10 av 7890

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	A Molarius, A, et al. (författare) Can financial insecurity and condescending treatment explain the higher prevalence of poor self-rated health in women than in men? A population-based cross-sectional study in Sweden 2012 Ingår i: The European Journal of Public Health. - : European Journal of Public Health. - 1101-1262 .- 1464-360X. Konferensbidrag (övrigt vetenskapligt/konstnärligt)
2.	Aaltonen, Pertti, et al. (författare) 10th Summit Meeting consensus : recommendations for regulatory approval for hormonal male contraception. 2007 Ingår i: J of Andrology, vol. 28, No 3 May/June. ; , s. 362-363 Konferensbidrag (övrigt vetenskapligt/konstnärligt)
3.	Abali, Bilen Emek (författare) Asymptotic homogenization and parameter determination in metamaterials 2021 Konferensbidrag (övrigt vetenskapligt/konstnärligt)
4.	Abali, Bilen Emek (författare) Modeling magnetohydrodynamics and computation of metal smelting 2020 Ingår i: Energy-based mathematical methods for reactive multiphase flows. - : Berlin Mathematics Research Center MATH. ; , s. 12-13 Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract Ore is a compound including minerals and is found in Earth’s crust. Ore may contain iron, aluminum, copper or even gold. Extracting these metals are called smelting. For aluminum, smelting is driven by electromagnetism, where conductive ore is a viscous melt with high temperatures and is set in motion effected by electromagnetic forces. Simulation of such an application necessitates not only a computational framework but also the consistent set of partial differential equations. Thermomechanics and electromagnetism are both well-studied independently; nevertheless, their interaction is still puzzling.
5.	Abbas, Qaisar, et al. (författare) Energy Stability of the MUSCL Scheme 2010 Ingår i: Proc. 7th South African Conference on Computational and Applied Mechanics. - Berlin : South African Association for Theoretical and Applied Mechanics. ; , s. 65:1-8, s. 61-68 Konferensbidrag (övrigt vetenskapligt/konstnärligt)
6.	Abbas, Qaisar, et al. (författare) Weak versus Strong No-Slip Boundary Conditions for the Navier-Stokes Equations 2008 Ingår i: Proc. 6th South African Conference on Computational and Applied Mechanics. - : South African Association for Theoretical and Applied Mechanics. - 9780620431668 ; , s. 52-62 Konferensbidrag (övrigt vetenskapligt/konstnärligt)
7.	Abdulla, Aziz, et al. (författare) Approximated Context-Sensitive Analysis for Parameterized Verification 2009 Ingår i: Formal Techniques for Distributed Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783642021374 ; , s. 41-56 Konferensbidrag (övrigt vetenskapligt/konstnärligt)
8.	Abdulla, Aziz, et al. (författare) Automatic Verification of Directory-Based Consistency Protocols 2009 Ingår i: Reachability Problems. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783642044199 ; , s. 36-50 Konferensbidrag (övrigt vetenskapligt/konstnärligt)
9.	Abdulla, Parosh Aziz, et al. (författare) Model Checking Race-Freeness 2008 Ingår i: Proc. 1st Swedish Workshop on Multi-Core Computing. ; , s. 89-96 Konferensbidrag (övrigt vetenskapligt/konstnärligt)
10.	Abdulla, Parosh, et al. (författare) Automated Verification of Linearization Policies 2016 Ingår i: Automated Verification of Linearization Policies. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783662534120 - 9783662534137 Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract We present a novel framework for automated verification of linearizability for concurrent data structures that implement sets, stacks, and queues. The framework requires the user to provide a linearization policy, which describes how linearization point placement in different concurrent threads affect each other; such linearization policies are often provided informally together with descriptions of new algorithms. We present a specification formalism for linearization policies which allows the user to specify, in a simple and concise manner, complex patterns including non-fixed linearization points. To automate verification, we extend thread-modular reasoning to bound the number of considered threads, and use a novel symbolic representation for unbounded heap structures that store data from an unbounded domain. We have implemented our framework in a tool and successfully used it to prove linearizability for a wide range of algorithms, including all implementations of concurrent sets, stacks, and queues based on singly-linked lists that are known to us from the literature.

Skapa referenser, mejla, bekava och länka

Länka till träfflistan

Resultat 1-10 av 7890

Avgränsa träffmängd

Typ av publikation: konferensbidrag (7890)Ta bort avgränsningen; konstnärligt arbete (9)

Typ av innehåll: övrigt vetenskapligt/konstnärligt (7890)Ta bort avgränsningen

Författare/redaktör: Strømme, Maria, 1970 ... (138); Davour, Anna (99); Hallgren, Allan (97); Botner, Olga (96); Bouchta, Adam (96); Lundberg, Johan (94); visa fler...; Conrad, Jan (93); Marciniewski, Pawel (90); Perez de los Heros, ... (58); Stepinski, T (54); Grape, Sophie, 1982- (51); Lindblad, Joakim (48); Sjöstrand, Henrik, 1 ... (43); Fredrikson, Mats (42); Ebbestad, Jan Ove R. ... (42); Sternad, M (40); Tenje, Maria (37); Pérez de los Heros, ... (36); Ahlén, A (36); Hedeland, Mikael (36); Jansson, Peter, 1971 ... (36); Kochukhov, Oleg (35); Airey, John, 1963- (35); Niemi, A. (35); Edström, Kristina (32); Nyholm, Leif (32); Ronström, Owe, 1953- (32); Granqvist, C. G. (32); Bondesson, Ulf (31); Furmark, Tomas (30); Sladoje, Nataša (29); Henderiks, Jorijntje (29); Piskunov, Nikolai (28); Niemi, Auli (28); Högström, Anette (26); Huss, Fredrik (26); Brandell, Daniel, 19 ... (26); Branger, Erik, 1988- (26); Kish, L.B. (25); Leifer, Klaus (24); Strömme, Maria (24); Wählby, Carolina (24); Fischer, Håkan (24); Ziemann, Volker (23); Conroy, Sean (23); Bengtsson, Bo, 1947- (23); Thottappillil, Rajee ... (23); Meinhold, Guido (22); Andersson, Roger, 19 ... (22); Bengtsson, Ewert (22); visa färre...

Lärosäte: Uppsala universitet (7890); Linköpings universitet (88); Karolinska Institutet (87); Stockholms universitet (61); Högskolan Dalarna (59); Örebro universitet (54); visa fler...; Umeå universitet (42); Mälardalens universitet (42); Södertörns högskola (33); Jönköping University (31); Kungliga Tekniska Högskolan (30); Luleå tekniska universitet (30); Högskolan i Gävle (26); Karlstads universitet (25); Göteborgs universitet (22); Linnéuniversitetet (17); Chalmers tekniska högskola (13); Mittuniversitetet (12); Sveriges Lantbruksuniversitet (11); Lunds universitet (8); Högskolan Kristianstad (7); RISE (7); Marie Cederschiöld högskola (7); Malmö universitet (5); Högskolan i Halmstad (4); Enskilda Högskolan Stockholm (4); Institutet för språk och folkminnen (4); Gymnastik- och idrottshögskolan (3); Försvarshögskolan (3); Högskolan i Skövde (2); VTI - Statens väg- och transportforskningsinstitut (2); Kungl. Musikhögskolan (2); Högskolan i Borås (1); visa färre...

Språk: Engelska (6796); Svenska (917); Tyska (46); Franska (39); Ryska (22); Spanska (16); visa fler...; Japanska (10); Norska (9); Danska (8); Bulgariska (7); Arabiska (4); Odefinierat språk (3); Italienska (2); Polska (2); Isländska (2); Estniska (2); Finska (1); Portugisiska (1); Ungerska (1); Nygrekiska (1); Mongoliskt språk (1); visa färre...

Forskningsämne (UKÄ/SCB): Samhällsvetenskap (1772); Naturvetenskap (1657); Humaniora (1272); Teknik (582); Medicin och hälsovetenskap (224); Lantbruksvetenskap (57)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem
LIBRIS.kb.se

pil uppåt

Stäng

Kopiera och spara länken för att återkomma till aktuell vy