2607 search results - page 514 / 522 » On the Architecture of System Verification Environments |
PODC
2004
ACM
14 years 4 days ago
2004
ACM
We establish a new worst-case upper bound on the Membership problem: We present a simple algorithm that is able to always achieve Agreement on Views within a single message latenc...
UIST
2004
ACM
14 years 4 days ago
2004
ACM
Traditionally, computer interfaces have been confined to conventional displays and focused activities. However, as displays become embedded throughout our environment and daily li...
HICSS
2003
IEEE
14 years 5 hour ago
2003
IEEE
Mobility and the New Global Economy are accompanied by requirements for dynamism and flexibility, with respect to e-commerce, inter-organizational activity, and security. The clas...
FPL
2009
Springer
13 years 11 months ago
2009
Springer
Commercial soft processors are unable to effectively exploit the data parallelism present in many embedded systems workloads, requiring FPGA designers to exploit it (laboriously) ...
HPDC
2000
IEEE
13 years 11 months ago
2000
IEEE
To provide Quality of Service (QoS) guarantee in distributed services, it is necessary to reserve multiple computing and communication resources for each service session. Meanwhile...