1105 search results - page 107 / 221 » Performance Engineering Models of CORBA-based Distributed-Ob... |
135
click to vote
ICML
2009
IEEE
15 years 11 months ago
2009
IEEE
Physics-based simulation codes are widely used in science and engineering to model complex systems that would be infeasible to study otherwise. Such codes provide the highest-fid...
130
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
165
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
The following paper presents a novel audio-visual approach for unsupervised speaker locationing. Using recordings from a single, low-resolution room overview camera and a single f...
146
Voted
ISSRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
148
click to vote
ISLPED
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, a novel thermal-aware dynamic placement planner for reconfigurable systems is presented, which targets transient temperature reduction. Rather than solving time-...