551 search results - page 47 / 111 » Realizability of Real-Time Logics |
161
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 ...
164
click to vote
FPGA
2004
ACM
15 years 9 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...
144
click to vote
FDL
2007
IEEE
16 years 5 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...
146
click to vote
ICMCS
2006
IEEE
15 years 12 months 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 ...
162
Voted
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...