Sciweavers

1967 search results - page 292 / 394
» The Case for Determinism in Database Systems
Sort
View
TOOLS
2008
IEEE
16 years 20 days ago
The Meta in Meta-object Architectures
Abstract. Behavioral reflection is crucial to support for example functional upgrades, on-the-fly debugging, or monitoring critical applications. However the use of reflective f...
Marcus Denker, Mathieu Suen, Stéphane Ducas...
AGILEDC
2006
IEEE
16 years 11 days ago
On Agile Performance Requirements Specification and Testing
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
Chih-Wei Ho, Michael J. Johnson, Laurie Williams, ...
IPPS
2006
IEEE
16 years 9 days ago
Dynamic performance prediction of an adaptive mesh application
While it is possible to accurately predict the execution time of a given iteration of an adaptive application, it is not generally possible to predict the data-dependent adaptive ...
Mark M. Mathis, Darren J. Kerbyson
LICS
2005
IEEE
15 years 12 months ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
VL
2005
IEEE
119views Visual Languages» more  VL 2005»
15 years 12 months ago
How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
Joseph Lawrance, Steven Clarke, Margaret M. Burnet...