4693 search results - page 511 / 939 » Verifying Hybrid Systems |
152
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
We study the performance of three parallel algorithms and their hybrid variants for solving tridiagonal linear systems on a GPU: cyclic reduction (CR), parallel cyclic reduction (...
165
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Instruction set simulators are indispensable tools for the architectural exploration and verification of embedded systems. Different techniques have recently been proposed to spe...
171
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
We present rush as a recommendation-based interaction and visualization technique for repeated item selection from large data sets on mobile touch screen devices. Proposals and ch...
202
click to vote
IUI
2010
ACM
16 years 1 months ago
2010
ACM
Information about the location and size of the targets that users interact with in real world settings can enable new innovations in human performance assessment and software usab...
245
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...