Suchergebnisse - "Programming theory"

A switching system approach to sensor and actuator assignment for stabilisation via limited multi-packet transmitting channels von Guo, Ge

“… The sensors and the actuators are supposed to operate independently with individual communication packets and subject to successive time-varying delays and packet dropouts …”
Volltext

Type checking a multithreaded functional language with session types von Vasconcelos, Vasco T., Gay, Simon J., Ravara, António

“… We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static type checking. A …”
Volltext

Outage Constrained Robust Energy Efficiency Optimization for MISO Wiretap Channels von Weidong Mei, Zhi Chen, Jun Fang

“… ) is maximized, subject to the outage-constrained secrecy rate and transmit power constraints. The resultant problem is intractable to solve even after introducing a semidefinite relaxation (SDR) reformulation …”
Volltext

Amalgamating sessions and methods in object-oriented languages with generics: Distributed Computing Techniques von CAPECCHI, Sara, COPPO, Mario, DEZANI-CIANCAGLINI, Mariangiola, DROSSOPOULOU, Sophia, GIACHINO, Elena

Volltext

Light types for polynomial time computation in lambda calculus von Baillot, Patrick, Terui, Kazushige

“… (and not only on proof-nets): subject reduction is satisfied and a well-typed term admits a polynomial bound on the length of any of its beta reduction sequences …”
Volltext

Property-based software engineering measurement von Briand, L.C., Morasca, S., Basili, V.R.

“… Little theory exists in the field of software system measurement. Concepts such as complexity, coupling, cohesion or even size are very often subject to interpretation and appear to have inconsistent definitions in the literature …”
Volltext

Generic models for computational effects von Power, John

“… mind. We first show that any countable Lawvere theory, hence any signature of operations with countable arity subject to equations, directly generates a Freyd-category …”
Volltext

FTSyn: a framework for automatic synthesis of fault-tolerance von Ebnenasir, Ali, Kulkarni, Sandeep S., Arora, Anish

“… In this paper, we present a software framework for adding fault-tolerance to existing finite-state programs. The input to our framework is a fault-intolerant …”
Volltext

Visualizing and Constructing Cycles in the Simplex Method von Avis, David, Kaluzny, Bohdan, Titley-Peloquin, David

“… Most examples of cycling in the simplex method are given without explanation of how they were constructed. An exception is Beale's example built around the …”
Volltext

From computation to foundations via functions and application: The λ-calculus and its webbed models von Berline, Chantal

Volltext

A general theory of composition for a class of "possibilistic" properties von McLean, J.

“… Since the initial work of Daryl McCullough (1987) on the subject, the security community has struggled with the problem of composing "possibilistic" information-flow properties …”
Volltext

Analysis of cardiac left-ventricular volume based on time warping averaging von Caiani, E. G., Porta, A., Baselli, G., Turiel, M., Muzzupappa, S., Pagani, M., Malliani, A., Cerutti, S.

“… Volume signals obtained from ten normal young (NY) subjects (mean age +/- SD: 25+/-5 years) were used to evaluate the performance of this algorithm …”
Volltext

Robust energy-efficient transmit design for misome wiretap channels von Weidong Mei, Zhi Chen, Jun Fang

“… , based on the fractional programming theory, is proposed to recast this problem as a sequence of semidefinite …”
Volltext

A Calculus for Overloaded Functions with Subtyping von Castagna, G., Ghelli, G., Longo, G.

“… We present a simple extension of typed λ-calculus where functions can be overloaded by putting different "branches of code" together. When the function is …”
Volltext

Management science, theory of constraints/optimized production technology and local optimization von Verma, R.

“… ) approaches to production planning. The OPT game was used as the experimental instrument. The subjects were given hint sheets based on MS, TOC/OPT and LO approaches …”
Volltext

The Banerjee–Wolfe and GCD Tests on Exact Data Dependence Information von Psarris, Kleanthis

“… The GCD test and the Banerjee–Wolfe test are the two tests traditionally used to determine statement data dependence, subject to direction vectors, in automatic vectorization/parallelization of loops …”
Volltext

Reflective Relational Machines von Abiteboul, Serge, Papadimitriou, Christos H, Vianu, V

“… We propose a model of database programming withreflection(dynamic generation of queries within the host programming language), called thereflective relational …”
Volltext

A Typed Pattern Calculus von Kesner, Delia, Puel, Laurence, Tannen, Val

“… The theory of programming with pattern-matching function definitions has been studied mainly in the framework of first-order rewrite systems. We present a …”
Volltext

Analysing value substitution and confidence estimation for value prediction von Piñuel, Luis, Moreno, Rafael A, Tirado, Francisco

“… Closely linked to confidence estimation, value substitution also represents a relegated subject of research …”
Volltext

On the area of intersection between two closed 2-D objects von Venkatasubramanian, R.

“… The problem of extrema of the area of intersection between two 2-D closed objects is a subject of interest in industrial cloth manufacturing, toxic material storage in a work environment, large scale …”
Volltext