275 search results - page 9 / 55 » Practical Advances in Asynchronous Design |
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
TABLETOP
2006
IEEE
14 years 3 months ago
2006
IEEE
Advancements in mixed-reality (MR) systems have concentrated on the technology required for implementation, providing proof-of-concepts by means of technology-tailored usage scena...
SC
2005
ACM
14 years 3 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
SG
2005
Springer
14 years 3 months ago
2005
Springer
Developments in basic neurological research and techniques used to train professional athletes suggest that one way of facilitating this learning process of motor schemas is throug...
FTRTFT
1998
Springer
14 years 2 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...