9626 search results - page 1789 / 1926 » Invariant Based Programming |
143
click to vote
HICSS
2010
IEEE
15 years 3 months ago
2010
IEEE
1 The latent semantic indexing (LSI) methodology for information retrieval applies the singular value decomposition to identify an eigensystem for a large matrix, in which cells re...
132
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
113
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
The need to reuse the performance macromodels of an analog circuit topology challenges existing regression based modeling techniques. A model of good reusability should have a num...
134
Voted
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
117
click to vote
AIPS
2003
15 years 3 months ago
2003
We present an efficient algorithm for exact calculation and minimization of expected waiting times of all passengers using a bank of elevators. The dynamics of the system are rep...