3495 search results - page 179 / 699 » On the random satisfiable process |
161
click to vote
JPDC
2008
15 years 4 months ago
2008
The problem of global state observation is fundamental to distributed systems and to the analysis of data streams. Many interactions in distributed systems can be analyzed in term...
219
click to vote
REFSQ
2010
Springer
2010
Springer
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context
15 years 2 months ago
[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within b...
138
Voted
IPMI
2001
Springer
16 years 5 months ago
2001
Springer
Spatial and temporal correlations which affect the signal measured in functional MRI (fMRI) are usually not considered simultaneously (i.e., as non-independent random processes) in...
133
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
VIRAM (Vector Intelligent Random Access Memory) is a vector architecture processor with embedded memory, designed for portable multimedia processing devices. Its vector processing...
128
Voted
CISS
2007
IEEE
15 years 11 months ago
2007
IEEE
— In block-fading transmission, the discrete-time taps of time-varying channels can be generally modelled as a stationary random vector process with unknown and rank-deficient c...