3909 search results - page 589 / 782 » Extreme Model Checking |
185
click to vote
WINE
2007
Springer
16 years 17 days ago
2007
Springer
Motivated by the growth of various networked systems as potential market places, we study market models wherein, owing to the size of the markets, transactions take place between l...
153
click to vote
CLUSTER
2006
IEEE
16 years 16 days ago
2006
IEEE
The increase in the use of parallel distributed architectures in order to solve large-scale scientific problems has generated the need for performance prediction for both determi...
144
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
Customizing the bypasses in an embedded processor uncovers valuable trade-offs between the power, performance and the cost of the processor. Meaningful exploration of bypasses re...
145
click to vote
ICMCS
2006
IEEE
16 years 15 days ago
2006
IEEE
With the advent and proliferation of digital cameras and computers, the number of digital photos created and stored by consumers has grown extremely large. This created increasing...
152
click to vote
IJCNN
2006
IEEE
16 years 15 days ago
2006
IEEE
—A new application of the NN ensemble technique to improve the accuracy and stability of the calculation of NN emulation Jacobians is presented. The term “emulation” is defin...