Operating systems verification http://ssrg.nicta.com.au/publications/papers/Klein_09.abstract
#operating_systems #os #programming #verification #paper
…
Depixelizing pixel art
#research #pixelart #depixelization #science #paper #art
…
Rasterizing and Antialiasing Vector Line Art in the Pixel Art Style
site | paper | youtube demo
#pixelart #raster #rasterization #pixel #algorithm #research #paper #video #science #art
…
this app uses ANS synthesizer՝ musical instument, which Yevgeni Murzin designed in1937֊1957 years
http://www.youtube.com/watch?v=lzoVnqLy29U
#android #ANS #app #software #music #audio #recorder #paper
via @{sense ∇ ; sense@diasp.org}
…
Lightweight parametric polymorphism for Oberon.
http://research.microsoft.com/en-us/um/people/cszypers/pub/jmlc97.pdf
#oberon #oberon-2 #polymorphism #programming #research #paper #oop #development #software
…
I was thinking, that single space os should have weak security, but it seems I was wrong. This is a very interesting paper -Sharing and Protection in a Single Address Space Operating System
This paper explores memory shanig and protection support in Opal, a single address space operating system designed for wide address archtectures. Opal threads execute within protection domains in a single shared virtual address space. Sharing is simplified, because addresses are context-independent.
http://homes.cs.washington.edu/~levy/opal/opal-tocs.pdf
#operating-systems #opal #paper #protection #a#####
…
Վոլֆգանգ֊Թիլիմանս թուղթ կաթիլ Wolfgang-Tillmans paper drop
#photography #photo #art #paper #drop #ֆոտո #լուսանկարներ #արվեստ #կաթիլ #թուղթ ##
#Վոլֆգանգ֊Թիլիմանս #Wolfgang-Tillmans