1992 search results - page 345 / 399 » Memory modeling for system synthesis |
MMM
2005
Springer
15 years 3 months ago
2005
Springer
Users of multimedia applications today are equipped with a variety of different (mobile) devices that each come with different operating systems, memory and CPU capabilities, netw...
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we propose a parallel approach for the Kmeans Vector Quantization (VQ) algorithm used in a twostage Hidden Markov Model (HMM)-based system for recognizing handwritte...
HPDC
2002
IEEE
15 years 2 months ago
2002
IEEE
Performance models provide significant insight into the performance relationships between an application and the system used for execution. The major obstacle to developing perfor...
ASM
2008
ASM
14 years 12 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
ENTCS
2000
14 years 9 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...