1406 search results - page 245 / 282 » Software trace cache |
ICDCS
2003
IEEE
14 years 27 days ago
2003
IEEE
Current software development techniques and tools lack the capability to characterize function call chains in multithreaded and distributed applications built upon component techn...
FATES
2003
Springer
14 years 25 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
PLDI
2010
ACM
14 years 20 days ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
CASES
2009
ACM
14 years 8 days ago
2009
ACM
AVR XMEGA is the recent general-purpose 8-bit microcontroller from Atmel featuring symmetric crypto engines. We analyze the resistance of XMEGA crypto engines to side channel atta...
VL
2000
IEEE
13 years 12 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...