343 search results - page 40 / 69 » Multiobjective Optimization of Temporal Processes |
137
click to vote
PDSE
1998
15 years 3 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
116
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
TWC
2008
15 years 2 months ago
2008
The sliding correlator technique remains one of the most versatile and effective methods for sounding the radio propagation channel in next-generation wireless systems. Despite the...
110
Voted
IJON
2002
15 years 2 months ago
2002
The ability of dynamic synapses with short-term depression to transmit the information present in the presynaptic spike train to the postsynaptic neuron is discussed. Both by mini...
133
Voted
TSP
2010
14 years 9 months ago
2010
Abstract--In this paper, we deal with the problem of constrained code optimization for radar space-time adaptive processing (STAP) in the presence of colored Gaussian disturbance. ...