3130 search results - page 65 / 626 » Design Correctness of Digital Systems |
105
Voted
CHI
1998
ACM
15 years 7 months ago
1998
ACM
In this paper, we propose a multiple-device approach for supporting informal meetings using a digital whiteboard. Traditional digital whiteboard systems often suffer from a limite...
125
click to vote
CODES
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
100
Voted
FPL
2003
Springer
15 years 8 months ago
2003
Springer
This paper describes methods and tools that have been used for teaching disciplines dedicated to the design of reconfigurable digital systems. It demonstrates students' projec...
185
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
110
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...