17450 search results - page 192 / 3490 » Numerical Methods with Applications |
115
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
Profiling an application executing on a microprocessor is part of the solution to numerous software and hardware optimization and design automation problems. Most current profilin...
119
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
The major concerns in state-of-the-art model reduction algorithms are: achieving accurate models of sufficiently small size, numerically stable and efficient generation of the mod...
113
click to vote
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
We consider an environment of numerous moving objects, equipped with location-sensing devices and capable of communicating with a central coordinator. In this setting, we investig...
136
click to vote
WOSP
2000
ACM
15 years 7 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
108
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The reported research work presents numerical studies validated by experimental results of a flat micro heat pipe with sintered copper wick structure. The objectives of this resea...