1492 search results - page 279 / 299 » Concurrent programming in VISO |
90
Voted
JSW
2008
14 years 9 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
122
click to vote
JPDC
2006
14 years 9 months ago
2006
Irregular parallel algorithms pose a significant challenge for achieving high performance because of the difficulty predicting memory access patterns or execution paths. Within an...
90
Voted
TCAD
2008
14 years 9 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
81
Voted
JOT
2007
14 years 9 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
184
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...