1866 search results - page 26 / 374 » Flexibly Interleaving Processes |
ICDE
2009
IEEE
14 years 10 months ago
2009
IEEE
Most recommendation methods are `hard-wired' into the system and they support only fixed recommendations. The purpose of this demo is to show the expressivity of flexible reco...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
While WS-BPEL is emerging as the prominent language for modeling executable business processes, it provides limited support for designing flexible processes. An important need of ...
ASPLOS
2010
ACM
14 years 3 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
POPL
2010
ACM
14 years 3 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...