MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Types for atomicity." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1,179 documents found, showing 1 through 10. Next 10 →

ATOM

Minimal Typings in Atomic Subtyping
by Jakob Rehof — 1996 — In Conference Record of the 24th ACM Symposium on Principles of Programming Languages
…Minimal Typings in Atomic Subtyping Jakob Rehof DIKU, Department of Computer Science University…
Cited by 15 (3 self) – Add To MetaCart

Types for Atomicity: Static Checking and Inference for Java
by Cormac Flanagan, Stephen N. Freund, Marina Lifshin
…Types for Atomicity: Static Checking and Inference for Java CORMAC FLANAGAN University…
Add To MetaCart

A type and effect system for atomicity
by Cormac Flanagan, Shaz Qadeer — 2003 — In PLDI 03: Programming Language Design and Implementation
…A Type and Effect System for Atomicity Cormac Flanagan Shaz Qadeer HP Systems Research Center…
Cited by 131 (19 self) – Add To MetaCart

Determining the Minimum Number of Types Necessary to Represent the Sizes of Protein Atoms
by Jerry Tsai, Neil Voss, Mark Gerstein
…Determining the minimum number of types necessary to represent the sizes of protein atoms Jerry…
Cited by 1 (0 self) – Add To MetaCart

Lecture 3, Protein and NMR Structural Biology II 1 Lecture 3 Protein and NMR Structural Biology II
by unknown authors
… of multidimensional spectra, homo-nuclear spectra, in which each axis represents the same type of atom (usually…
Add To MetaCart

Modelling Shared State in a Shared Action Model
by Kenneth Goldman And, Kenneth J. Goldman, Nancy A. Lynch — 1990 — In Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science
… as systems that include both shared memory and shared action communication. A full range of types of atomic…
Add To MetaCart

Modelling shared state in a shared action model
by Warning Concerning Copyright, Kenneth Goldman, Kenneth J. Goldman, Nancy A. Lynch, Nancy A. Lynch — 1990 — In Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science
… that have both shared memory and shared action communication. A full range of types of atomic accesses…
Add To MetaCart

Safe Query Languages for Constrained Databases
by Peter Z. Revesz — 1995
… as input constraint databases and give as output other constraint databases that use the same type…
Add To MetaCart

Extended Update Functionality in Temporal Databases
by Opher Etzion, Avigdor Gal, Arie Segev — In Temporal Databases - Research and Practice, LNCS
… fixed semantics to handle such a case; if the data item's type is an atom, then only one value…
Cited by 7 (2 self) – Add To MetaCart

Performance benefits of large execution atomic units in dynamically scheduled machines
by Stephen W. Melvin, Yale N. Patt — 1989 — In Proceedings of Supercomputing '89
… In this paper we identify three types of atomic units, or indivisible units of work: archi- tectural atomic…
Cited by 12 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB