SwePub
Tyck till om SwePub Sök här!
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "db:Swepub ;mspu:(conferencepaper);srt2:(1990-1999)"

Sökning: db:Swepub > Konferensbidrag > (1990-1999)

  • Resultat 1-10 av 16211
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Aakjer Nielsen, Michael, et al. (författare)
  • Signing and marking of substandard horizontal curves on rural roads
  • 1998
  • Ingår i: Proceedings of Road safety in Europe. Conference in Bergisch Gladbach, Germany, September 21-23, 1998. - Linköping : Statens väg- och transportforskningsinstitut. ; , s. 25-38
  • Konferensbidrag (övrigt vetenskapligt/konstnärligt)
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  •  
6.
  •  
7.
  •  
8.
  •  
9.
  • Abdulla, Parosh Aziz, et al. (författare)
  • A general approach to partial order reductions in symbolic verification
  • 1998
  • Ingår i: Computer Aided Verification. - 9783540646082 - 9783540693390 ; , s. 379-390
  • Konferensbidrag (refereegranskat)abstract
    • The purpose of partial-order reduction techniques is to avoid exploring several interleavings of independent transitions when model checking the temporal properties of a concurrent system. The purpose of symbolic verification techniques is to perform basic manipulations on sets of states rather than on individual states. We present a general method for applying partial order reductions to improve symbolic verification. The method is equally applicable to the verification of finite-state and infinite-state systems. It considers methods that check safety properties, either by forward reachability analysis or by backward reachability analysis. We base the method on the concept of commutativity (in one direction) between predicate transformers. Since the commutativity relation is not necessarily symmetric, this generalizes those existing approaches to partial order verification which are based on a symmetric dependency relation.We show how our method can be applied to several models of infinite-state systems: systems communicating over unbounded lossy FIFO channels, and unsafe (infinite-state Petri Nets. We show by a simple example how partial order reduction can significantly speed up symbolic backward analysis of Petri Nets.
  •  
10.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Handling Global Conditions in Parameterized System Verification
  • 1999
  • Ingår i: Proc. 11th Int. Conf. on Computer Aided Verification. - Berlin : Springer Verlag. - 3540662022 ; , s. 134-145
  • Konferensbidrag (refereegranskat)abstract
    • We consider symbolic verification for a class of parameterized systems, where a system consists of a linear array of processes, and where an action of a process may in general be guarded by both local conditions restricting the state of the process about to perform the action, and global conditions defining the context in which the action is enabled. Such actions are present, e.g., in idealized versions of mutual exclusion protocols, such as the bakery and ticket algorithms by Lamport, Burn’s protocol, Dijkstra’s algorithm, and Szymanski’s algorithm. The presence of both local and global conditions makes the parameterized versions of these protocols infeasible to analyze fully automatically, using existing model checking methods for parameterized systems. In all these methods the actions are guarded only by local conditions involving the states of a finite set of processes. We perform verification using a standard symbolic reachability algorithm enhanced by an operation to accelerate the search of the state space. The acceleration operation computes the effect of an arbitrary number of applications of an action, rather than a single application. This is crucial for convergence of the analysis e.g. when applying the algorithm to the above protocols. We illustrate the use of our method through an application to Szymanski’s algorithm.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 16211
Typ av publikation
konferensbidrag  (16211)Ta bort avgränsningen
konstnärligt arbete (2)
Typ av innehåll
refereegranskat (8979)
övrigt vetenskapligt/konstnärligt (6970)
populärvet., debatt m.m. (262)
Författare/redaktör
Turner, Anthony, 195 ... (125)
Åström, Karl Johan (85)
Claesson, Ingvar (77)
Laurell, Fredrik (76)
Hemani, Ahmed (74)
Ottersten, Björn, 19 ... (74)
visa fler...
Lennartson, Bengt, 1 ... (67)
Ljung, Lennart, 1946 ... (65)
Knutsson, Hans (63)
Leckner, Bo G, 1936 (63)
Shahnavaz, Houshang (61)
Kildal, Per-Simon, 1 ... (58)
Sundqvist, Bertil (57)
Svensson, Arne, 1955 (56)
Jantsch, Axel (56)
Börjesson, Per Ola (55)
Rönnberg, Jerker, 19 ... (54)
Fritzson, Peter (51)
Ljungman, P (50)
Danielsson-Tham, Mar ... (49)
Maguire Jr., Gerald ... (48)
Engström, Tomas, 195 ... (48)
Johansson, Rolf (46)
Gustafsson, Fredrik (46)
Rantzer, Anders (45)
Zaslavsky, Arkady (45)
Nordholm, Sven (44)
Zander, Jens (42)
Johannesson, Rolf (42)
Wigertz, Ove, 1934- (42)
Ringden, O (41)
Lagö, Thomas L (40)
Årzén, Karl-Erik (39)
Öberg, Johnny (39)
Berntsson, Thore, 19 ... (38)
Larsby, Birgitta (38)
Åström, Karl (37)
Halldin, C (37)
Nordebo, Sven (37)
Tenhunen, Hannu (36)
Bäcklund, Ylva (36)
Wahlberg, Bo, 1959- (35)
Fabian, Martin, 1960 (35)
Farde, L (35)
Arvidsson, Åke (35)
Nilsson, Peter (34)
Soldatov, Alexander (34)
Hwang, Philip, 1950 (34)
SVENSSON, TH (34)
Torkelson, Mats (34)
visa färre...
Lärosäte
Karolinska Institutet (2098)
Luleå tekniska universitet (2087)
Uppsala universitet (1765)
Lunds universitet (1639)
Chalmers tekniska högskola (1390)
Linköpings universitet (1369)
visa fler...
Kungliga Tekniska Högskolan (1355)
VTI - Statens väg- och transportforskningsinstitut (1216)
Göteborgs universitet (578)
Jönköping University (477)
Linnéuniversitetet (361)
Karlstads universitet (318)
Blekinge Tekniska Högskola (310)
RISE (303)
Mittuniversitetet (270)
Umeå universitet (208)
Örebro universitet (165)
Högskolan Dalarna (125)
Stockholms universitet (123)
Högskolan i Halmstad (103)
Högskolan Kristianstad (101)
Högskolan i Gävle (72)
Södertörns högskola (66)
Mälardalens universitet (62)
Högskolan i Borås (29)
Högskolan i Skövde (16)
Högskolan Väst (10)
Malmö universitet (10)
Försvarshögskolan (5)
Naturhistoriska riksmuseet (4)
Nordiska Afrikainstitutet (3)
Röda Korsets Högskola (2)
Handelshögskolan i Stockholm (1)
Gymnastik- och idrottshögskolan (1)
Enskilda Högskolan Stockholm (1)
visa färre...
Språk
Engelska (14651)
Svenska (1353)
Franska (66)
Tyska (47)
Norska (25)
Spanska (16)
visa fler...
Japanska (12)
Danska (9)
Ryska (8)
Nederländska (6)
Portugisiska (5)
Odefinierat språk (4)
Italienska (3)
Finska (2)
Arabiska (1)
Isländska (1)
Kinesiska (1)
Bulgariska (1)
visa färre...
Forskningsämne (UKÄ/SCB)
Teknik (4977)
Naturvetenskap (2679)
Samhällsvetenskap (1360)
Humaniora (724)
Medicin och hälsovetenskap (388)
Lantbruksvetenskap (84)

Å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