Filters








495,410 Hits in 2.3 sec

On interference abstractions

Nishant Sinha, Chao Wang
2011 SIGPLAN notices  
In this paper, we introduce the notion of interference abstractions (IAs), based on the models of shared memory consistency, to reason about interference efficiently.  ...  IAs differ from the known abstractions for concurrent programs and cannot be directly modeled by these abstractions.  ...  We now define interference abstractions obtained in this manner formally. Interference Abstractions To formally represent the interference abstractions, we first define the link set for a read.  ... 
doi:10.1145/1925844.1926433 fatcat:wqlsldq3arenbd6yllzvdziati

On interference abstractions

Nishant Sinha, Chao Wang
2011 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11  
In this paper, we introduce the notion of interference abstractions (IAs), based on the models of shared memory consistency, to reason about interference efficiently.  ...  IAs differ from the known abstractions for concurrent programs and cannot be directly modeled by these abstractions.  ...  We now define interference abstractions obtained in this manner formally. Interference Abstractions To formally represent the interference abstractions, we first define the link set for a read.  ... 
doi:10.1145/1926385.1926433 dblp:conf/popl/SinhaW11 fatcat:pinw6hrmcba6xo5jlsliddxynu

Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications

Isabella Mastroeni
2013 Electronic Proceedings in Theoretical Computer Science  
In this paper we provide a survey on the framework of abstract non-interference.  ...  In particular, we describe a general formalization of abstract non-interference by means of three dimensions (observation, protection and semantics) that can be instantiated in order to obtain well known  ...  the program on the abstract values.  ... 
doi:10.4204/eptcs.129.4 fatcat:ijzdyl5hcvebjdozaxl5t77oeu

On the Rôle of Abstract Non-interference in Language-Based Security [chapter]

Isabella Mastroeni
2005 Lecture Notes in Computer Science  
Moreover, we deepen the understanding of abstract non-interference by comparing it, by means of examples, with some the most interesting approaches to the weakening of non-interference, such as the PER  ...  Namely, we show that in abstract non-interference we model both attackers that can only observe properties of public data, and private properties that can or cannot flow.  ...  (Id)P (π l ⇒ Id) Relaxed Non-interference ≡ ∀l ∈ V L . (Id)P (π l ⇒ Id) What (via Blocking) (η)P (φ []ρ) Table 3 . Outline.  ... 
doi:10.1007/11575467_27 fatcat:5d67ahnsdrg6dniddmgv3fmwti

Abstract non-interference

Roberto Giacobazzi, Isabella Mastroeni
2004 Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04  
The idea is to make non-interference parametric by abstract interpretation.  ...  Due to its semantic-based approach and the generality of abstract interpretation and non-interference notions, abstract non-interference can be fairly considered as a unifying theory for understanding  ...  Abstract non-interference is parametric on program properties specified as closure operators.  ... 
doi:10.1145/964001.964017 dblp:conf/popl/GiacobazziM04 fatcat:ne3s25yfdvcz5ojkzbi6nqg36q

Abstract non-interference in a fragment of Java bytecode

Damiano Zanardini
2006 Proceedings of the 2006 ACM symposium on Applied computing - SAC '06  
This work presents a program analyzer for checking Abstract Non-Interference in a fragment of Java bytecode.  ...  Abstract Non-Interference is an information flow property which is weaker and more general than standard Non-Interference, since it can allow some selected parts of secret information to flow into the  ...  Abstract Non-Interference uses abstract domains on infinite sets, such as the integer numbers; then it is not surprising that checking for ANI can be undecidable, since operations on abstract values (such  ... 
doi:10.1145/1141277.1141706 dblp:conf/sac/Zanardini06 fatcat:r66hu4lb4rcrhoqn3bhxqjuz4e

Visual interference with a transparent head mounted display

Robert S. Laramee, Colin Ware
2001 CHI '01 extended abstracts on Human factors in computer systems - CHI '01  
Potential perceptual problems that may occur with monocular wearable displays are binocular rivalry and visual interference.  ...  Indeed subjects adopted strategies to avoid the visually complex backgrounds and thereby minimize the interference.  ...  Visual Interference When two patterns are presented, one transparently overlaying another, there will be interference between the two.  ... 
doi:10.1145/634253.634258 fatcat:lwcdwstl2jerddhbbe6xhxxhzi

Avoiding interference through translucent interface components in single display groupware

Ana Zanella, Saul Greenberg
2001 CHI '01 extended abstracts on Human factors in computer systems - CHI '01  
In particular, we are concerned with 'interference' effects, where one person's raising of an interface component (e.g., a menu) can impede another's view and interaction on the shared screen.  ...  Our in-progress evaluation suggests this design lessens interference effects.  ...  used by one person, may cause interference for other SDG users.  ... 
doi:10.1145/634288.634289 fatcat:usisfdgrpnhg5l2e6rejjavh44

Differential interference contrast microscope based on birefriengent shearing interferometry

Shyh-Tsong Lin, Tzu Xiu Lee, Hong-Hsan Lai
2019 The Abstracts of ATEM International Conference on Advanced Technology in Experimental Mechanics Asian Conference on Experimental Mechanics  
pattern on the CCD sensor.  ...  For instance, the 1 st design employs a collimator to adequately collimate the light wave incident on the Nomarski prism.  ... 
doi:10.1299/jsmeatem.2019.1008a1045 fatcat:ittgh5cagrezrl3gquwrpp2cvy

ABSTRACT OF The Erasmus Wilson Lectures ON THE PATHOLOGY AND TREATMENT OF THOSE DISEASES OF THE LIVER WHICH ARE AMENABLE TO DIRECT SURGICAL INTERFERENCE

1898 The Lancet  
Depression of the liver when it occurs is not pathognomonic of subphrenic ab.cess, as it may be due to an abscess of the liver, empyema and effasion into 1 An Abstract of Lecture I. was published in THE  ...  Delivered on Feb. 23rd.  ... 
doi:10.1016/s0140-6736(01)87263-9 fatcat:fokuhn6y7rd43cu2oy7t4uzcny

ABSTRACT OF The Erasmus Wilson Lectures ON THE PATHOLOGY AND TREATMENT OF THOSE DISEASES OF THE LIVER WHICH ARE AMENABLE TO DIRECT SURGICAL INTERFERENCE

1898 The Lancet  
All blood or other fluid should be removed from the exposed part of the peritoneum by 1 Abstracts of Lectures I. and II. were published in THE LANCET of March 5th and 12th, 1898, respectively. careful  ...  On the fourth day of the rash pain in I the left ear was complained of. On the next evening ' (May 16th) there was slight discharge from the ear.  ... 
doi:10.1016/s0140-6736(01)87346-3 fatcat:mim5oanaxbfjlpl4xwtplcc4nm

ABSTRACT OF The Crasmus Wilson Fectures ON THE PATHOLOGY AND TREATMENT OF THOSE DISEASES OF THE LIVER WHICH ARE AMENABLE TO DIRECT SURGICAL INTERFERENCE,

1898 The Lancet  
He continued:] Those diseases of the liver which are amenable to direct surgical interference may be conveniently divided into six .groups, four important ones and two of rare occurrence, the latter only  ...  the former group of cases direct surgical interference has a much greater chance of being successful than in the latter class of patients.  ... 
doi:10.1016/s0140-6736(01)97779-7 fatcat:wvmeb6vadnbn3jp62fkigrxqde

Visual interference with a transparent head mounted display

Robert S. Laramee, Colin Ware
2001 CHI '01 extended abstracts on Human factors in computing systems - CHI '01  
Potential perceptual problems that may occur with monocular wearable displays are binocular rivalry and visual interference.  ...  Indeed subjects adopted strategies to avoid the visually complex backgrounds and thereby minimize the interference.  ...  Visual Interference When two patterns are presented, one transparently overlaying another, there will be interference between the two.  ... 
doi:10.1145/634067.634258 dblp:conf/chi/LarameeW01 fatcat:q3txld2uynbafndhokegugry7e

Examining the Effect of Interference on Short-term Memory Recall of Arabic Abstract and Concrete Words Using Free, Cued, and Serial Recall Paradigms

2015 Advances in Language and Literary Studies  
Results: Findings indicated that interference effect on short-term memory recall of Arabic abstract and concrete words was not significant especially in the case of free and serial recall paradigms.  ...  Purpose: To see if there is a correlation between interference and short-term memory recall and to examine interference as a factor affecting memory recalling of Arabic and abstract words through free,  ...  and concrete words in non-interference and interference processes [less/more abstract words than concrete ones].  ... 
doi:10.7575/aiac.alls.v.6n.6p.7 fatcat:ax4iw2treff6doyaucswpmnvwa

25pYD-4 Influence of Andreev Reflection on the Mesoscopic Interference Effects
25pYD-4 アンドレーエフ反射におけるメゾスコピック効果

Toshitaka TAKANE
1999 Meeting Abstracts of the Physical Society of Japan (Nihon Butsuri Gakkai koen gaiyoshu)  
doi:10.11316/jpsgaiyo.54.2.4.0_709_1 fatcat:kckedrt4ujedtkxkz3xu45gobe
« Previous Showing results 1 — 15 out of 495,410 results