1492 search results - page 117 / 299 » Concurrent programming in VISO |
110
Voted
APPT
2003
Springer
15 years 5 months ago
2003
Springer
Increase in amount of data stored and requirement of fast response time has motivated the research in Parallel Database Systems (PDS). Requirement for correctness of data still rem...
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 ...
113
Voted
HICSS
1996
IEEE
15 years 4 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...
123
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...
92
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...