691 search results - page 91 / 139 » Equational Abstractions |
MSV
2007
13 years 11 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
GRID
2006
Springer
13 years 10 months ago
2006
Springer
Abstract Parallel asynchronous iterative algorithms relax synchronization and communication requirements, and can potentially extend Desktop Grids beyond embarrassingly parallel ap...
BC
2005
13 years 10 months ago
2005
Abstract Equilibrium maintenance during standing in humans was investigated with a 3-joint (ankle, knee and hip) sagittal model of body movement. The experimental paradigm consiste...
NECO
1998
13 years 9 months ago
1998
three different levels of abstraction: detailed models including ctivity dynamics, weight dynamics that abstract from the neural activity dynamics by an adiabatic approximation, an...
HASKELL
2009
ACM
14 years 4 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...