Results 21 to 30 of about 488,501 (249)
Degrees of tenant isolation for cloud-hosted software services: a cross-case analysis
Journal of Cloud Computing: Advances, Systems and Applications, 2018 A challenge, when implementing multi-tenancy in a cloud-hosted software service, is how to ensure that the performance and resource consumption of one tenant does not adversely affect other tenants.
Laud Charles Ochei +2 more
doaj +1 more source
Programs as Polypeptides [PDF]
, 2015 We describe a visual programming language for defining behaviors manifested by reified actors in a 2D virtual world that can be compiled into programs comprised of sequences of combinators that are themselves reified as actors.
Williams, Lance R.
core +1 more source
Self-adjusting stack machines [PDF]
Conference on Object-Oriented Programming Systems, Languages, and Applications, 2011 Self-adjusting computation offers a language-based approach to writing programs that automatically respond to dynamically changing data. Recent work made significant progress in developing sound semantics and associated implementations of self-adjusting ...
Matthew A. Hammer +3 more
semanticscholar +1 more source
PROSET — A Language for Prototyping with Sets [PDF]
, 1992 We discuss the prototyping language PROSET(Prototyping with Sets) as a language for experimental and evolutionary prototyping, focusing its attention on algorithm design.
Doberkat, Ernst-Erich +5 more
core +2 more sources
Sweet spot prediction in tight sandstone reservoir based on well-bore rock physical simulation
Petroleum Science, 2019 To establish the relationship among reservoir characteristics and rock physical parameters, we construct the well-bore rock physical models firstly, considering the influence factors, such as mineral composition, shale content, porosity, fluid type and ...
Hai-ting Zhou +4 more
doaj +1 more source
A Non-Null Annotation Inferencer for Java Bytecode [PDF]
, 2008 We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completeness with respect to a state of the art type system.
Hubert, Laurent
core +6 more sources
A partial breadth-first execution model for prolog [PDF]
, 1994 MEM (Multipath Execution Model) is a novel model for the execution of Prolog programs which combines a depth-first and breadth-first exploration of the search tree.
González Colás, Antonio María +1 more
core +1 more source
CFA2: a Context-Free Approach to Control-Flow Analysis [PDF]
, 2011 In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: they remember only a bounded number of pending calls because they approximate
Andrew Gordon +7 more
core +2 more sources
Journal of Biomedical Semantics, 2011 Background The complexity and inter-related nature of biological data poses a difficult challenge for data and tool integration. There has been a proliferation of interoperability standards and projects over the past decade, none of which has been widely
Wilkinson Mark D +2 more
doaj +1 more source
Skeletons of stable maps II: Superabundant geometries [PDF]
, 2017 We implement new techniques involving Artin fans to study the realizability of tropical stable maps in superabundant combinatorial types. Our approach is to understand the skeleton of a fundamental object in logarithmic Gromov--Witten theory -- the stack
Ranganathan, Dhruv
core +2 more sources