1040 search results - page 84 / 208 » Controlling Aspect Reentrancy |
SLP
1989
15 years 7 days ago
1989
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...
76
Voted
ENTCS
2008
14 years 11 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
89
Voted
ENTCS
2006
14 years 11 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
TNN
1998
14 years 10 months ago
1998
: A novel approach to artificial neural networks is presented. The philosophy of this approach is based on two aspects: the design of task-specific networks, and a new neuron model...
66
Voted
TOG
2002
14 years 10 months ago
2002
In this paper we describe a system for animating flames. Stochastic models of flickering and buoyant diffusion provide realistic local appearance while physics-based wind fields a...