3770 search results - page 194 / 754 » Building a Stochastic Dynamic Model of Application Use |
164
Voted
GLVLSI
2000
IEEE
15 years 9 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
167
click to vote
SMI
2008
IEEE
15 years 11 months ago
2008
IEEE
We describe in this paper a method for 3D shape indexing and retrieval that we apply on three data collections of the SHREC SHape Retrieval Contest 2008: Stability on watertight, ...
163
click to vote
MICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
Program runtime characteristics exhibit significant variation. As microprocessor architectures become more complex, their efficiency depends on the capability of adapting with wor...
156
click to vote
MANSCI
2011
14 years 7 months ago
2011
Many revenue management (RM) industries are characterized by (a) fixed capacities in the short term (e.g., hotel rooms, seats on an airline flight), (b) homogeneous products (e....
144
click to vote
IEEESCC
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...