Sciweavers

30 search results - page 3 / 6
» Impact of Load Imbalance on the Design of Software Barriers
Sort
View
TEI
2010
ACM
201views Hardware» more  TEI 2010»
14 years 4 days ago
Objects in play: virtual environments and tactile learning
When creating technology environments for children, consideration needs to be given to how touch, gesture, and physical interactions impact on play and learning. This is particula...
Lillian Spina-Caza
LCPC
2005
Springer
13 years 10 months ago
Software Thread Level Speculation for the Java Language and Virtual Machine Environment
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
Christopher J. F. Pickett, Clark Verbrugge
EUROSYS
2007
ACM
14 years 2 months ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...
ACSAC
2007
IEEE
13 years 11 months ago
Routing in the Dark: Pitch Black
In many networks, such as mobile ad-hoc networks and friend-to-friend overlay networks, direct communication between nodes is limited to specific neighbors. Often these networks ...
Nathan S. Evans, Chris GauthierDickey, Christian G...
FTRTFT
1998
Springer
13 years 9 months ago
On the Need for Practical Formal Methods
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...
Constance L. Heitmeyer