2663 search results - page 214 / 533 » How to Choose a Timing Model |
156
click to vote
SIGSAND
2008
15 years 5 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
113
click to vote
CSDA
2008
15 years 4 months ago
2008
A large body of evidence has emerged in recent studies confirming that macroeconomic factors play an important role in determining investor risk premia and the ultimate path of eq...
131
click to vote
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Adaptive microarchitectures are a promising solution for designing high-performance, power-efficient microprocessors. They offer the ability to tailor computational resou...
137
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
Given a large, real graph, how can we generate a synthetic graph that matches its properties, i.e., it has similar degree distribution, similar (small) diameter, similar spectrum,...
139
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...