4745 search results - page 37 / 949 » Discretization: An Enabling Technique |
165
click to vote
MASCOTS
1997
15 years 7 months ago
1997
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...
128
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new functionality of the Automatic Differentiation (AD) Tool tapenade. tapenade generates adjoint codes which are widely used for optimization or inverse prob...
177
click to vote
ER
2010
Springer
15 years 4 months ago
2010
Springer
In the light of an increasing demand on business process compliance, the veri cation of process models against compliance rules has become essential in enterprise computing. To be ...
177
click to vote
ADHOCNETS
2010
Springer
15 years 2 months ago
2010
Springer
The current specification for IEEE 802.15.4 beacon-enabled networks does not define how active and sleep schedules should be configured in order to achieve the optimal network perf...
201
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
Computer users rely on software tools to work effectively and efficiently, but it is difficult for users to be aware of all the tools that might be useful to them. While there a...