3130 search results - page 247 / 626 » Design Correctness of Digital Systems |
150
click to vote
AIEDU
2005
15 years 6 months ago
2005
This paper describes a Simulated Student architecture designed to detect and avoid three situations that decrease the benefits of learning in collaboration. These are off-topic con...
202
click to vote
CODES
2011
IEEE
14 years 6 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
212
click to vote
LCTRTS
2007
Springer
16 years 23 days ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
201
Voted
ANCS
2005
ACM
16 years 6 days ago
2005
ACM
Task to resource mapping problems are encountered during (i) hardware-software co-design and (ii) performance optimization of Network Processor systems. The goal of the first pro...
181
click to vote
VSTTE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...