Search Sciweavers | Sciweavers

1204 search results - page 17 / 241

» Parallel concurrent ML

133

click to vote

EDOC
2006
IEEE

137views Distributed And Parallel Com...» more EDOC 2006»

VIDRE - A Distributed Service-Oriented Business Rule Engine based on RuleML

15 years 10 months ago

Download www.infosys.tuwien.ac.at

Business rules provide an elegant solution to manage dynamic business logic by separating business knowledge from its implementation logic. The drawback of most existing business ...

Christoph Nagl, Florian Rosenberg, Schahram Dustda...

claim paper

Read More »

107

Voted

IPPS
1992
IEEE

87views Distributed And Parallel Com...» more IPPS 1992»

Exploiting Concurrency among Tasks in Partitionable Parallel Processing Systems

15 years 8 months ago

Download www.engr.colostate.edu

Wayne G. Nation, Anthony A. Maciejewski, Howard Ja...

claim paper

Read More »

108

click to vote

PPOPP
2006
ACM

114views Distributed And Parallel Com...» more PPOPP 2006»

Accurate and efficient runtime detection of atomicity errors in concurrent programs

15 years 10 months ago

Download cobweb.ecn.purdue.edu

Liqiang Wang, Scott D. Stoller

claim paper

Read More »

112

click to vote

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 9 months ago

Download ipdps.cc.gatech.edu

Dominique Cansell, Dominique Méry, Christop...

claim paper

Read More »

110

click to vote

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers