9989 search results - page 1925 / 1998 » A CLP Approach to Modelling Systems |
142
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...
153
click to vote
MM
2003
ACM
15 years 9 months ago
2003
ACM
Optimizing user experience for streaming video applications on handheld devices is a significant research challenge. In this paper, we propose an integrated power management appr...
132
click to vote
FPGA
2003
ACM
15 years 9 months ago
2003
ACM
FPGAs are one of the essential components in platform-based embedded systems. Such systems are customized and applied only to a limited set of applications. Also some applications...
135
click to vote
GLVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
130
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...