521 search results - page 69 / 105 » Timing Verification Using HDTV |
CUZA
2002
14 years 9 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
DAS
2006
Springer
15 years 1 months ago
2006
Springer
While research on scientific chart recognition is being carried out, there is no suitable standard that can be used to evaluate the overall performance of the chart recognition res...
EURODAC
1994
IEEE
15 years 1 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
101
click to vote
CIVR
2007
Springer
15 years 4 months ago
2007
Springer
Among the various types of semantic concepts modeled, events pose the greatest challenge in terms of computational power needed to represent the event and accuracy that can be ach...
112
click to vote
SOICT
2010
14 years 4 months ago
2010
Protecting data by passwords in documents such as DOC, PDF or RAR, ZIP archives has been demonstrated to be weak under dictionary attacks. Time for recovering the passwords of suc...