12333 search results - page 2300 / 2467 » System Level Modelling for Hardware Software Systems |
143
click to vote
MAM
2007
15 years 2 months ago
2007
This paper describes a new method of executing a software program on an FPGA for embedded systems. Rather than combine reconfigurable logic with a microprocessor core, this method...
120
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...
136
click to vote
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. The lack of eye contact in desktop video teleconferencing substantially reduces the effectiveness of video contents. While expensive and bulky hardware is available on th...
104
Voted
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Modern processing technologies offer a number of types of devices such as high-VT , low-VT , thick-oxide, etc. in addition to the nominal transistor in order to meet system perfor...
122
click to vote
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...