3130 search results - page 147 / 626 » Design Correctness of Digital Systems |
133
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
139
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
USS
2004
15 years 5 months ago
2004
Copilot is a coprocessor-based kernel integrity monitor for commodity systems. Copilot is designed to detect malicious modifications to a host's kernel and has correctly dete...
124
click to vote
WSC
2004
15 years 5 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
We designed and fabricated an 8-bit analog-to- LiSTOF ENERGY-SCAVENGER PERFORMANCE digital converter (ADC) in a 0.5,um Silicon-on-Sapphire CMOS technology. The ultra-low power and ...