1. |
|
|
2. |
|
|
3. |
- Aarsand, Pål, et al.
(författare)
-
Om media literacy-praktiker i barns vardagsliv
- 2013
-
Ingår i: Literacy-praktiker i och utanför skolan. - Stockholm : Gleerups Utbildning AB. - 9789140684455 ; , s. 41-63
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
4. |
|
|
5. |
- Aarsand, Pål, 1970-
(författare)
-
Playfulness in Children’s Media Usage
- 2010
-
Ingår i: Children and Youth in the Digital Media Culture. - Göteborg : Nordicom. ; , s. 143-156
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
6. |
|
|
7. |
- Abbasian, Saeid, 1961-, et al.
(författare)
-
Bridging Traditional and Experience Industries: Lessons from the Gnosjö Region
- 2010. - Vol 5
-
Ingår i: Social Capital and Development Trends in Rural Areas. - Jönköping : Jönköping International Business School & Marg (Marginal Areas Research Group), Kyoto University/Japan. - 9789163372216 ; , s. 41-53
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
8. |
|
|
9. |
- Abdulla, Parosh, et al.
(författare)
-
Comparing source sets and persistent sets for partial order reduction
- 2017
-
Ingår i: Models, Algorithms, Logics and Tools. - Cham : Springer. - 9783319631202 - 9783319631219 ; , s. 516-536
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Partial order reduction has traditionally been based on persistent sets, ample sets, stubborn sets, or variants thereof. Recently, we have presented a strengthening of this foundation, using source sets instead of persistent/ample/stubborn sets. Source sets subsume persistent sets and are often smaller than persistent sets. We introduced source sets as a basis for Dynamic Partial Order Reduction (DPOR), in a framework which assumes that processes are deterministic and that all program executions are finite. In this paper, show how to use source sets for partial order reduction in a framework which does not impose these restrictions. We also compare source sets with persistent sets, providing some insights into conditions under which source sets and persistent sets do or do not differ.
|
|
10. |
- Abdulla, Parosh, et al.
(författare)
-
Eager Markov Chains
- 2006
-
Ingår i: Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). ; , s. 24-38
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|