30240 search results - page 507 / 6048 » Robust System Design |
159
click to vote
DAC
1998
ACM
16 years 8 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
141
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
This paper quantifies the performance of typical functional unit interface designs in single-chip systems. We introduce a specific equation to guide the design of optimal module i...
176
click to vote
ARCS
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
163
click to vote
ISOLA
2004
Springer
16 years 12 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
198
click to vote
ATAL
2003
Springer
16 years 8 days ago
2003
Springer
Recommender systems have been widely advocated as a way of coping with the problem of information overload for knowledge workers. Given this, multiple recommendation methods have ...