10159 search results - page 264 / 2032 » System Design Validation Using Formal Models |
128
click to vote
IPSN
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
143
Voted
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...
107
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Wire Pipelining (WP) has been proposed in order to limit the impact of increasing wire delays. In general, the added pipeline elements alters the system such that architectural ch...
112
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
A primary goal of high-level modeling is to efficiently explore a broad design space, converging on an optimal or near-optimal system architecture before moving to a more detaile...
100
click to vote
DAC
1994
ACM
15 years 7 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...