1636 search results - page 48 / 328 » InfoPad - An Experiment in System Level Design and Integrati... |
115
click to vote
JUCS
2000
14 years 11 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
ISVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
115
click to vote
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Using hypervisors or virtual machine monitors for security has become very popular in recent years, and a number of proposals have been made for supporting multi-level security on...
ISLPED
1997
ACM
15 years 4 months ago
1997
ACM
With the increasing performance and density of VLSI circuits as well as the popularity of portable devices such as personal digital assistance, power consumption has emerged as an...
COMCOM
2007
14 years 11 months ago
2007
The MELISA system is a distributed platform for multi-platform sports content broadcasting, providing end users with a wide range of real-time interactive services during the spor...