An interface to symbolic circuit analysis has been developed for a SPICE{like circuit simulator in order to integrate numerical simulation with an existing program for symbolic circuit analysis. In eeect, both numerical and symbolic analyses use the same internal representation of circuits which makes the two approaches truly complementary. This integrated simulation capability is used in simul...

An interface to symbolic circuit analysis has been developed for a SPICE-like circuit simulator in order to integrate numerical simulation with an existing program for symbolic circuit analysis. In effect, both numerical and symbolic analyses use the same internal representation of circuits which makes the two approaches truly complementary. This integrated simulation capability is used in simu...

We present a proof of concept that combines static and dynamic analysis in order to obtain symbolic expression that over-approximates the number of times an statement is executed in object oriented languajes like Java. The tool leverages existing dynamic analysis tools like Daikon, but guides it (via programm instrumentation) in order to obtain linear invariants that, after some tranformations,...

In hardware verification, the introduction of symbolic model checking has been considered a breakthrough, allowing to verify systems clearly out-of-reach of any explicit-state model checker. In contrast, in the verification of concurrent software, model checking is still predominantly performed by explicitstate model checkers such as SPIN. These methods gain much of their efficiency from state-...

ghassan kanafani (1936-1972) is one of the most famous palestine romancers who has created different personality types in four romances of “men in the sun” ,” all that's left to you” ,” returning to haifa” , “umme sa'd”. symbolic personality is one of the most important personality types that he has given more attention to, whether feminine or masculine, they have been used abundantly...

We discuss properties of high order neurons in competitive learning. In such neurons, geometric shapes replace the role of classic ‘point’ neurons in neural networks. Complex analytical shapes are modeled by replacing the classic synaptic weight of the neuron by high-order tensors in homogeneous coordinates. Such neurons permit not only mapping of the data domain but also decomposition of some ...

The main idea is to show the application of symbolic computations in analysis of engineering systems with random parameters. The general computational methodology is based on the stochastic second order perturbation method and its implementation in the mathematical package MAPLE 6. The entire approach is displayed on the example of simple single degree of freedom dynamical system with random sp...

Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. We develop a partial order reduction algorithm for rule-based languages such as Murphi [4] based on the observation that for finite-state systems, independence conditions used for PO reduction can be encoded as boolean propositions and checked using SAT methods. Comparisons against static-a...

p [6]. -Calculus [6]. Actor [9]. Algorithmic [2]. Approach [5]. Binding [8]. Calculus [6, 13]. Composable [9]. CPS [5]. Definitional [10, 11]. Direct [6]. Dynamic [8]. Editorial [1]. Extended [13]. First [12]. Generalization [3, 4]. Higher [11]. Higher-Order [11]. Interpreter [13]. Interpreters [10, 11]. Introduction [3]. Jumps [3, 4]. Labels [3, 4]. Lambda [13]. Landin [3]. Language [2]. Langu...

This paper is concerned with the type structure of a system including polymorphism, type properties and subtypes. This type system originates from computer algebra but it is not intended to be the solution of all type problems in this area. Types (or sets of types) are denoted by terms in some order-sorted algebra.:[: We consider a rewrite relation in this algebra, which is intended to express ...