1691 search results - page 215 / 339 » Designing communication strategies for heterogeneous paralle... |
108
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
164
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
182
click to vote
DGO
2007
15 years 8 months ago
2007
Government agencies globally are facing problems such as illegal immigration, terrorism, and disease diagnosis and control. Solutions to these problems rely heavily on collaborati...
184
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
194
click to vote
FMCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...