5439 search results - page 739 / 1088 » Patterns: from system design to software testing |
279
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
177
click to vote
WSC
2000
15 years 8 months ago
2000
An on-road analytical tire model has been developed to predict tire forces and moments at the tire/road interface. The model is computationally efficient and it only requires a li...
193
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
170
click to vote
ROBOCOMM
2007
IEEE
16 years 29 days ago
2007
IEEE
— We describe a system that provides a low-cost, portable control station for experimentation in mobile robotic telesurgery. The software and hardware implementation of our syste...
182
click to vote
DSVIS
2008
Springer
2008
Springer
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
15 years 8 months ago
Interactive systems including multiple interaction devices and surfaces for supporting the collaboration of a group of co-located users are increasingly common in various domains. ...