1586 search results - page 157 / 318 » Modeling the evolution of operating systems: An empirical st... |
156
click to vote
AE
2005
Springer
16 years 1 days ago
2005
Springer
Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form ...
181
click to vote
COMPUTER
2010
15 years 3 months ago
2010
Computational finance leverages computer technologies to build models from large amounts of data to extract insight. In today's networked world, the amount of data available t...
182
click to vote
STTT
2011
15 years 1 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
203
click to vote
IEEEARES
2008
IEEE
16 years 28 days ago
2008
IEEE
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....
130
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— Third party developed software add-ins enhance the functionality of a large variety of base software such as operating systems, word processors, spread sheets, graphics...