3384 search results - page 417 / 677 » More Testable Properties |
159
click to vote
ISVD
2007
IEEE
16 years 28 days ago
2007
IEEE
The spatial cosmic matter distribution on scales of a few up to more than a hundred Megaparsec1 displays a salient and pervasive foamlike pattern. Voronoi tessellations are a vers...
173
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
179
click to vote
MEMOCODE
2007
IEEE
16 years 28 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
172
click to vote
NOCS
2007
IEEE
16 years 28 days ago
2007
IEEE
As embedded computing evolves towards ever more powerful architectures, the challenge of properly interconnecting large numbers of on-chip computation blocks is becoming prominent...
140
click to vote
SASO
2007
IEEE
16 years 28 days ago
2007
IEEE
The concept of self-organization is rapidly gaining importance in the area of distributed computing systems. However, we still lack the necessary means for engineering such system...