3307 search results - page 132 / 662 » The meaning of concurrent programs |
102
click to vote
IWMM
2010
Springer
15 years 4 months ago
2010
Springer
Concurrent and incremental collectors require barriers to ensure correct synchronisation between mutator and collector. The overheads imposed by particular barriers on particular ...
172
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...
114
Voted
HICSS
1996
IEEE
15 years 5 months ago
1996
IEEE
Remote tasking encompasses different functionality, such as remote forking, multiple remote spawning, and task migration. In order to overcome the relatively high costs of these m...
125
click to vote
ICCAD
2007
IEEE
15 years 4 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
95
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...