507 search results - page 42 / 102 » Testing implementations of transactional memory |
FMICS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
COMPSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper explores the firewall security and performance relationship for distributed systems. Experiments are conducted to set firewall security into seven different levels and ...
ISCA
2011
IEEE
13 years 2 months ago
2011
IEEE
As we move to large manycores, the hardware-based global checkpointing schemes that have been proposed for small shared-memory machines do not scale. Scalability barriers include ...
VEE
2009
ACM
14 years 5 months ago
2009
ACM
Runtime monitoring support serves as a foundation for the important tasks of providing security, performing debugging, and improving performance of applications. Often runtime mon...
KBSE
2005
IEEE
14 years 4 months ago
2005
IEEE
Software for resource constrained embedded devices is often implemented in the Java programming language because the Java compiler and virtual machine provide enhanced safety, por...