Search results for "variable sharing"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.	ICSE	1996	DBLP BibTeX RDF	UNITY proof logic, action synchronization, continuous position changes, decoupled computing style, independent computing units, location-dependent behavior, location-dependent communication patterns, pairwise transient interactions, transient program interactions, variable sharing, mobile computing, distributed computing, distributed processing, dependability, modularity, computer networks, synchronisation, network operating systems, disconnections, mobile radio, assertional reasoning
1	José M. Méndez, Gemma Robles, Francisco Salto	Ticket Entailment plus the mingle axiom has the variable-sharing property.	Logic Journal of the IGPL	2012	DBLP DOI BibTeX RDF
1	Qichang Chen, Liqiang Wang, Zijiang Yang	HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Simon Tjell, João M. Fernandes	Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables.	DIPES	2008	DBLP DOI BibTeX RDF
1	Kundan Nepal, R. Iris Bahar, Joseph L. Mundy, William R. Patterson, Alexander Zaslavsky	Interactive presentation: Techniques for designing noise-tolerant multi-level combinational circuits.	DATE	2007	DBLP DOI BibTeX RDF
1	Dennis Wu, Jianwen Zhu	BDD-based two variable sharing extraction.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Yuan Chen, Lemin Li	A Fuzzy Fair Packet Dropping Algorithm Supporting Differentiated Services.	CIT	2005	DBLP DOI BibTeX RDF
1	Stanislaw Chrobot	Introducing Variable Sharing to Process Calculi.	PARELEC	2004	DBLP DOI BibTeX RDF
1	Stanislaw Chrobot	Modelling Communication in Distributed Systems.	PARELEC	2002	DBLP DOI BibTeX RDF
1	John A. Trono	Comments on "Tagged Semaphores".	Operating Systems Review	2000	DBLP DOI BibTeX RDF
1	Michael Codish, Harald Søndergaard, Peter J. Stuckey	Sharing and groundness dependencies in logic programs.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	Boolean functions, program analysis, abstract interpretation, dataflow analysis, global analysis, groundness analysis, sharing analysis
1	Andy King, Jan-Georg Smaus, Patricia M. Hill	Quotienting Share for Dependency Analysis.	ESOP	1999	DBLP DOI BibTeX RDF	definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs
1	Andy King	A Synergistic Analysis for Sharing and Groundness with Traces Linearity.	ESOP	1994	DBLP DOI BibTeX RDF
1	Teruo Hikita, Kiyoshi Ishihata	A Method of Program Transformation between Variable Sharing and Message Passing.	Softw., Pract. Exper.	1985	DBLP DOI BibTeX RDF