1722 search results - page 108 / 345 » Dedication |
132
click to vote
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
112
Voted
CAIP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The MET protein controls growth, invasion, and metastasis in cancer cells and is thereby of interest to study, for example from a structural point of view. For individual...
117
click to vote
FCCM
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper proposes a high performance least square solver on FPGAs using the Cholesky decomposition method. Our design can be realized by iteratively adopting a single triangular...
114
click to vote
HPCS
2009
IEEE
15 years 6 months ago
2009
IEEE
We report efficient implementation techniques for FFT-based dense multivariate polynomial arithmetic over finite fields, targeting multi-cores. We have extended a preliminary study...
116
Voted
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...