4689 search results - page 820 / 938 » Analysis and modeling of control tasks in dynamic systems |
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
VIP
2001
13 years 9 months ago
2001
Visualisation Systems are in general designed to maximise the cognitive ability of system users particularly when exposed to large sets of otherwise difficult to comprehend data, ...
GRID
2007
Springer
14 years 1 days ago
2007
Springer
The global inter-networking infrastructure that has become essential for contemporary day-to-day computing and communication tasks, has also enabled the deployment of several large...
COMPUTER
2004
13 years 8 months ago
2004
, abstracts each virtual machine's view of its storage and networks, and binds virtual machines across nodes into isolated virtual farms. The SoftUDC control system spans all ...
JCDL
2009
ACM
14 years 2 months ago
2009
ACM
The amount of scientific material available electronically is forever increasing. This makes reading the published literature, whether to stay up-to-date on a topic or to get up ...