Sciweavers

2899 search results - page 278 / 580
» Dynamic Trees in Practice
Sort
View
CLIMA
2007
15 years 6 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
141
Voted
ISIM
2007
15 years 5 months ago
Component Model with Support of Mobile Architectures
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
Marek Rychlý
TSMC
2008
110views more  TSMC 2008»
15 years 4 months ago
Adaptive Lyapunov-Based Control of a Robot and Mass-Spring System Undergoing an Impact Collision
The control of dynamic systems that undergo an impact collision is both theoretically challenging and of practical importance. An appeal of studying systems that undergo an impact ...
Keith Dupree, Chien-Hao Liang, Guoqiang Hu, Warren...
PODC
2011
ACM
14 years 7 months ago
On the power of hardware transactional memory to simplify memory management
Dynamic memory management is a significant source of complexity in the design and implementation of practical concurrent data structures. We study how hardware transactional memo...
Aleksandar Dragojevic, Maurice Herlihy, Yossi Lev,...
WIKIS
2005
ACM
15 years 10 months ago
Wiki communities in the context of work processes
In this article we examine the integration of communities of practice supported by a wiki into work processes. Linear structures are often inappropriate for the execution of knowl...
Frank Fuchs-Kittowski, André Köhler