8093 search results - page 1181 / 1619 » Design optimization |
211
Voted
QEST
2010
IEEE
15 years 5 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
189
click to vote
WINE
2010
Springer
15 years 5 months ago
2010
Springer
In mechanism design, the goal is to create rules for making a decision based on the preferences of multiple parties (agents), while taking into account that agents may behave stra...
202
click to vote
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
We consider the problem of configuring classifier trees in distributed stream mining system. The configuration involves selecting appropriate false-alarm detection tradeoffs for e...
255
click to vote
AVSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Low-cost and low-power video surveillance systems based on networks of wireless video sensors will enter soon the marketplace with the promise of flexibility, quick deployment an...
194
click to vote
ERSA
2010
15 years 5 months ago
2010
As reconfigurable computing (RC) platforms are becoming increasingly large-scale and heterogeneous, efficiently scheduling and partitioning applications on these platforms is a gro...