2468 search results - page 365 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
143
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Effective provisioning of next generation distributed applications hosted on diverse middleware platforms incurs significant challenges due to the applications’ growing complex...
133
Voted
FTEDA
2006
15 years 3 months ago
2006
As IC technologies scale to finer feature sizes, it becomes increasingly difficult to control the relative process variations. The increasing fluctuations in manufacturing process...
156
Voted
ICMLA
2009
15 years 1 months ago
2009
Chord sequences are a compact and useful description of music, representing each beat or measure in terms of a likely distribution over individual notes without specifying the not...
136
Voted
SPAA
1998
ACM
15 years 8 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
118
Voted
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
We have developed a nonrigid registration technique applicable to breast tissue imaging. It relies on a finite element method (FEM) model and a set of fiducial skin markers (FSMs)...