DCAS

''Double Compare And Swap'' is a locking primitive proposed to support certain concurrent programming techniques. It's not supported (as of early 2005) by any widespread CPU's.

Dcas

Dcas is a dynamic computer algebra system featuring the idea of using identities as rules for manipulation of algebra. Robert Fenichel developed a system called FAMOUS in the 1970s using LISP which could (?). A modern system DCAS has been implemented by Martin Johansen called DCAS Ether. The system works by selcting a class of identities based on the form of the input expression. Here are two examples of identity collections, one for basic algebra, the other for boolean algebra.


/* Distributivity */
	x*(a + b) = a*x + b*x;

/* Powers */
	(a*b)^c = a^c*b^c;
	(a^b)^c = a^(b*c);


/* add, sub */
	solveequ(x, (gfvi(f(x)) + gfve(a(x)) = gfve(b(x)))) = solveequ(x, f = b - a);
	solveequ(x, (gfvi(f(x)) + gfve(a(x)) + c = gfve(b(x)))) = solveequ(x, f + c = b - a);

/* mul, div */
	solveequ(x, (gfvi(f(x))*gfve(a(x))*c = gfve(b(x)))) = solveequ(x, f*c = b/a);
	solveequ(x, gfvi(f(x))*gfve(a(x)) = gfve(b(x))) = solveequ(x, f = b/a);

==External links== ===Webpages of computer algebra systems=== *[http://sourceforge.net/projects/dcas/ DCAS Ether] *[http://www.denotesoftware.com/ether/ DCAS research] Computer algebra systems

See other meanings of words starting from letter:

D

DA | DB | DC | DE | DF | DG | DH | DI | DJ | DK | DL | DM | DN | DO | DP | DR | DS | DT | DU | DW | DX | DY | DZ |

Words begining with Dcas:

DCAS
Dcas
Dcastor
Dcastor