2433 search results - page 233 / 487 » Power laws in software |
142
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
Multi-core architectures introduce a new granularity at which process variations may occur, yielding asymmetry among cores that were designed—and that software expects—to be s...
166
click to vote
ICMCS
2007
IEEE
16 years 28 days ago
2007
IEEE
Medical imaging has made great technological breakthroughs in multimodal acquisition, visualization, and analysis with many complementary image modalities to non-invasively captur...
134
click to vote
FOSSACS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
158
click to vote
UIST
2004
ACM
16 years 1 days ago
2004
ACM
Powerful mobile devices with minimal I/O capabilities increase the likelihood that we will want to annex these devices to I/O resources we encounter in the local environment. This...
161
click to vote
FOSSACS
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...