4520 search results - page 587 / 904 » Algebraic Techniques for Timed Systems |
191
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Abstract. At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. Wh...
186
click to vote
EICS
2010
ACM
15 years 4 months ago
2010
ACM
We propose an automated routine for hierarchical menu structure optimization. A computer advice-giving system founded on the mathematical model of menu navigation directs the desi...
188
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider the problem of dynamic buying and selling of shares from a collection of N stocks with random price fluctuations. To limit investment risk, we place an upper bound on t...
193
click to vote
ICANN
2011
Springer
14 years 10 months ago
2011
Springer
Subspace learning is very important in today's world of information overload. Distinguishing between categories within a subset of a large data repository such as the web and ...
173
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
As multiprocessor systems-on-chip become a reality, performance modeling becomes a challenge. To quickly evaluate many architectures, some type of high-level simulation is require...