3995 search results - page 49 / 799 » Linearization of hybrid processes |
126
Voted
ENTCS
2006
15 years 3 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
113
Voted
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
126
Voted
GRAMMARS
2000
15 years 3 months ago
2000
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...
105
click to vote
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph and can perform one simple operation only on the w...
140
Voted
IJHIS
2007
15 years 3 months ago
2007
This paper describes a new hybrid method based on the application of the Population Training Algorithm (PTA) and linear programming (LP) for generation of schedules for drivers in...