Sciweavers

166 search results - page 29 / 34
» Effective static deadlock detection
Sort
View
COMPSAC
1999
IEEE
14 years 22 days ago
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework, Apple's Rhaspody, OpenStep, and WebObjects, and DIWB. However, few guide...
Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Eb...
APL
1993
ACM
14 years 15 days ago
Array Morphology
Array morphology is the study of the form, structure, and evolution of arrays. An array annotation for a program written in an applicative array lanan abstract syntax tree for the...
Robert Bernecky
CCS
2009
ACM
14 years 12 days ago
Dynamic integrity measurement and attestation: towards defense against return-oriented programming attacks
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
Lucas Davi, Ahmad-Reza Sadeghi, Marcel Winandy
HAPTICS
2007
IEEE
14 years 8 days ago
Vibration Enhances Geometry Perception with Tactile Shape Displays
Tactile displays can provide detailed spatial information to the skin, but little is known about the effects of vibrating displayed shapes. This study examines passive touch perce...
María Oyarzábal, Masashi Nakatani, R...
FCCM
2004
IEEE
103views VLSI» more  FCCM 2004»
14 years 4 days ago
A Dynamically-Reconfigurable, Power-Efficient Turbo Decoder
The development of turbo codes has allowed for nearShannon limit information transfer in modern communication systems. Although turbo decoding is viewed as superior to alternate d...
Jian Liang, Russell Tessier, Dennis Goeckel