551 search results - page 47 / 111 » Realizability of Real-Time Logics |
166
click to vote
DAC
2000
ACM
15 years 10 months ago
2000
ACM
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...
167
click to vote
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...
149
click to vote
FDL
2007
IEEE
16 years 16 days ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
150
click to vote
ICMCS
2006
IEEE
16 years 7 days ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
166
click to vote
AVSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...