3130 search results - page 158 / 626 » Design Correctness of Digital Systems |
141
click to vote
CASES
2003
ACM
15 years 9 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
159
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
113
Voted
CHI
2001
ACM
16 years 4 months ago
2001
ACM
The advent of second-generation intelligent computer tutors raises an important instructional design question: when should tutorial advice be presented in problem solving? This pa...
116
click to vote
ITC
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe logic synthesis techniques for designing diverse implementations of combinational logic circuits in order to maximize the data integrity of diverse duplex systems in t...
161
click to vote
SOSP
2007
ACM
16 years 25 days ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...