21430 search results - page 3823 / 4286 » Abstract Effective Models |
194
Voted
NCA
2006
IEEE
16 years 26 days ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...
194
click to vote
QEST
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
182
Voted
RTSS
2006
IEEE
16 years 26 days ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
161
click to vote
AAECC
2006
Springer
16 years 26 days ago
2006
Springer
Abstract. This paper compares two approaches to reliable communication over fading channels using low-density parity check (LDPC) codes. The particular model considered is the bloc...
199
click to vote
ACCV
2006
Springer
16 years 26 days ago
2006
Springer
Abstract. This paper presents a fast algorithm for global motion estimation based on Iterative Least- Square Estimation (ILSE) technique. Compared with the traditional framework, t...