1271 search results - page 136 / 255 » On Simulation-Checking with Sequential Systems |
CISS
2007
IEEE
14 years 4 months ago
2007
IEEE
— In block-fading transmission, the discrete-time taps of time-varying channels can be generally modelled as a stationary random vector process with unknown and rank-deficient c...
SEFM
2007
IEEE
14 years 4 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
HPCC
2007
Springer
14 years 4 months ago
2007
Springer
OpenMP is a portable shared memory programming interface that promises high programmer productivity for multithreaded applications. It is designed for small and middle sized shared...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
SOFSEM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. After text retrieval, the next waves in web searching and multimedia retrieval are the search for and delivery of images, music, video, and 3D scenes. Not only the percep...