11797 search results - page 291 / 2360 » Recent Developments in the Experimental |
157
click to vote
ENTCS
2006
15 years 6 months ago
2006
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...
250
Voted
FTEDA
2006
15 years 6 months ago
2006
Design automation or computer-aided design (CAD) for field programmable gate arrays (FPGAs) has played a critical role in the rapid advancement and adoption of FPGA technology ove...
148
click to vote
IEICET
2006
15 years 6 months ago
2006
Abstract-Because of the development of recent broadband access technologies, fair service among users are becoming more important criteria. The most promising scheme of router mech...
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract - This short paper introduces two new fusion rules for combining quantitative basic belief assignments. These rules although very simple have not been proposed in literatu...
183
click to vote
JGO
2008
15 years 6 months ago
2008
Abstract I will report on some recent developments concerning the problem of estimating the Hausdorff dimension of the singular sets of solutions to elliptic and variational proble...