SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Sjogren M) ;srt2:(2015-2019)"

Sökning: WFRF:(Sjogren M) > (2015-2019)

  • Resultat 1-10 av 19
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  •  
6.
  •  
7.
  • Barbosa, Raul, 1981 (författare)
  • Monitoring local progress with watchdog timers deduced from global properties
  • 2010
  • Ingår i: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010; New Delhi; India; 31 October 2010 through 3 November 2010. - 1060-9857. - 9780769542508 ; , s. 131-140
  • Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
    • Distributed systems are used in numerous applications where failures can be costly. Due to concerns that some of the nodes may become faulty, critical services are usually replicated across several nodes, which execute distributed algorithms to ensure correct service in spite of failures. To prevent replica-exhaustion, it is fundamental to detect errors and trigger appropriate recovery actions. In particular, it is important to detect situations in which nodes cease to execute the intended algorithm, e.g., when a replica is compromised by an attacker or when a hardware fault causes the node to behave erratically. This paper proposes a method for monitoring the local execution of nodes using watchdog timers. The approach consists in deducing, from the global system properties, local states that must be visited periodically by nodes that execute the intended algorithm correctly. When a node fails to trigger a watchdog before the time limit, an appropriate response can be initiated. The approach is applied to a well-known Byzantine consensus algorithm. The algorithm is modeled in the PROMELA language and the SPIN model checker is used to identify local states that must be visited periodically by correct nodes. Such states are suitable for online monitoring using watchdog timers.
  •  
8.
  • Barbosa, Raul, 1981, et al. (författare)
  • On the Integrity of Lightweight Checkpoints
  • 2008
  • Ingår i: Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008). - 1530-2059. - 9780769534824 ; , s. 125-134
  • Konferensbidrag (refereegranskat)abstract
    • This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently while providing them with an operating system service to assure the integrity of checkpoints. The scheme takes error detection latency into account and assumes a broad class of application failure modes. In this paper we detail the design of the operating system service, which offers a very simple programming model to application designers and introduces only a small execution overhead for each checkpoint. Moreover, we describe the usage of model checking to ascertain the correctness of our approach.
  •  
9.
  • Dahlquist, Magnus, et al. (författare)
  • Equity Return Expectations and Portfolios : Evidence from Large Asset Managers
  • 2024
  • Ingår i: Review of Financial Studies. - : Oxford University Press. - 1465-7368 .- 0893-9454. ; 37:6, s. 1887-1928
  • Tidskriftsartikel (refereegranskat)abstract
    • Collecting large asset managers' capital market assumptions, we revisit the relationships between subjective equity premium expectations, equity valuations, and financial portfolios. In contrast to the well-documented extrapolative expectations of retail investors, asset managers' equity premium expectations are countercyclical: they are high (low) when valuations are low (high). We find that asset managers' portfolios reflect their heterogeneous expectations: allocation funds of asset managers with larger U.S. equity premium expectations invest significantly more in U.S. equities. The sensitivity of portfolios to expectations seems to be muted by investment mandates and is smaller than the one predicted by a standard portfolio choice model.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 19
Typ av publikation
tidskriftsartikel (11)
konferensbidrag (3)
samlingsverk (redaktörskap) (1)
rapport (1)
annan publikation (1)
doktorsavhandling (1)
visa fler...
bokkapitel (1)
visa färre...
Typ av innehåll
refereegranskat (10)
övrigt vetenskapligt/konstnärligt (9)
Författare/redaktör
Stewart, G. (1)
Makitie, A (1)
Andersson, Peter (1)
Koyi, Hemin (1)
Kanai, Y. (1)
Katayama, S (1)
visa fler...
Falk, P. (1)
Lundeberg, Joakim (1)
Bylund, Johan, 1975 (1)
Lundberg, Emma (1)
Christakopoulos, Pau ... (1)
Kekos, D. (1)
Ahlström, Martin (1)
Karlsson, Johan, 195 ... (1)
Akan, Pelin (1)
Werne Solnestam, Bea ... (1)
Stranneheim, Henrik (1)
Sjoblom, A (1)
Carpen, T (1)
Haglund, C (1)
Alexander, SPH (1)
Benson, HE (1)
Faccenda, E (1)
Pawson, AJ (1)
Sharman, JL (1)
Peters, JA (1)
Kelly, E (1)
Marrion, N (1)
Southan, C (1)
Davies, JA (1)
Aldrich, R (1)
Attali, B (1)
Back, M (1)
Barnes, NM (1)
Bathgate, R (1)
Beart, PM (1)
Becirovic, E (1)
Biel, M (1)
Birdsall, NJ (1)
Boison, D (1)
Brauner-Osborne, H (1)
Broer, S (1)
Bryant, C (1)
Burnstock, G (1)
Burris, T (1)
Cain, D (1)
Calo, G (1)
Chan, SL (1)
Chandy, KG (1)
Chiang, N (1)
visa färre...
Lärosäte
Uppsala universitet (4)
Karolinska Institutet (4)
Göteborgs universitet (3)
Chalmers tekniska högskola (2)
Umeå universitet (1)
Kungliga Tekniska Högskolan (1)
visa fler...
Luleå tekniska universitet (1)
Lunds universitet (1)
Handelshögskolan i Stockholm (1)
Sveriges Lantbruksuniversitet (1)
visa färre...
Språk
Engelska (19)
Forskningsämne (UKÄ/SCB)
Medicin och hälsovetenskap (8)
Naturvetenskap (2)
Humaniora (1)

Å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.

 
pil uppåt Stäng

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