271 search results - page 44 / 55 » The lattice of embedded subsets |
147
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a new approach for generating high-speed optimized event-driven register transfer level (RTL) compiled simulators. The generation of the simulators is part...
161
click to vote
ICDS
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
131
click to vote
ISQED
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Silicon debug poses a unique challenge to the engineer because of the limited access to internal signals of the chip. Embedded hardware such as trace buffers helps overc...
170
click to vote
RTAS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
203
click to vote
RTCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...