7195 search results - page 670 / 1439 » On Computing Power |
168
click to vote
AIS
2010
Springer
15 years 7 months ago
2010
Springer
Why do people create extra representations to help them make sense of situations, diagrams, illustrations, instructions and problems? The obvious explanation-external representatio...
179
Voted
CAL
2006
15 years 7 months ago
2006
Abstract-- We propose and evaluate User-Driven Frequency Scaling (UDFS) for improved power management on processors that support Dynamic Voltage and Frequency Scaling (DVFS), e.g, ...
186
click to vote
JCP
2008
15 years 7 months ago
2008
In this paper, the data of Chinese stock markets is analyzed by the statistical methods and computer sciences. The fluctuations of stock prices and trade volumes are investigated b...
175
click to vote
JSS
2006
15 years 7 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
211
Voted
FGCS
2007
15 years 7 months ago
2007
The integration of Web services is a recent outgrowth of the Business Process integration field that will require powerful meta-schema mechanisms supported by higher level abstra...