4480 search results - page 284 / 896 » Prototyping Completion with Constraints Using Computational ... |
185
click to vote
ITICSE
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...
153
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
Instant messaging has become a part of our daily live. Instant communication, either with a mobile device or with a computer based application, is an increasingly used form of com...
110
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
182
click to vote
ICCAD
2007
IEEE
16 years 27 days ago
2007
IEEE
— This paper describes the FAST methodology that enables a single FPGA to accelerate the performance of cycle-accurate computer system simulators modeling modern, realistic SoCs,...
186
click to vote
ICDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...