3365 search results - page 55 / 673 » Digital System Design: Architectures, Methods and Tools |
129
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This work describes the implementation of digital reconfigurable systems (DRS) using commercial FPGA devices. This paper has three main goals. The first one is to present the tren...
161
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
152
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
150
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
156
click to vote
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a method to implement integrated services of networked home electric appliances, which provide more convenient and comfortable living for home users. The conve...