1114 search results - page 38 / 223 » Validating optimizations of concurrent C C programs |
150
Voted
IPCO
2008
15 years 3 months ago
2008
Recent advances on the understanding of valid inequalities from the infinite group relaxation has opened the possibility of finding a computationally effective extension to GMI cu...
109
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
115
click to vote
ICCD
2004
IEEE
15 years 11 months ago
2004
IEEE
Network-on-chip (NoC) has been proposed as a solution for the communication challenges of System-on-chip (SoC) design in the nanoscale regime. SoC design offers the opportunity fo...
116
click to vote
MOBISYS
2008
ACM
16 years 2 months ago
2008
ACM
Using 802.11 concurrently for communications and positioning is problematic, especially if location-based services (e.g., indoor navigation) are concurrently executed with real-ti...
144
click to vote
IEEEPACT
2009
IEEE
15 years 3 days ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...