526 search results - page 44 / 106 » Type Abstractions of Name-Passing Processes |
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— A new control type for stick-slip microsystems is proposed in this paper: the voltage/frequency (U/f) proportional control. It gives a best resolution relatively to the...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
LACL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Some new algebras, which are possible denotations for various determiners, are studied. One of them is the algebra of generalised cardinal quantifiers which is a sub-alg...
LOPSTR
2004
Springer
14 years 2 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
ASIAN
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...