Sciweavers

20017 search results - page 244 / 4004
» Using personas effectively
Sort
View
OOPSLA
2009
Springer
15 years 11 months ago
A type and effect system for deterministic parallel Java
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig,...
IEEEARES
2008
IEEE
15 years 11 months ago
Type and Effect Annotations for Safe Memory Access in C
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
Syrine Tlili, Mourad Debbabi
KBSE
2008
IEEE
15 years 10 months ago
Random Test Run Length and Effectiveness
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
James H. Andrews, Alex Groce, Melissa Weston, Ru-G...
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 10 months ago
A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
Guido Schryen
ICMCS
2006
IEEE
138views Multimedia» more  ICMCS 2006»
15 years 10 months ago
An Effective Mode Decision Scheme in Macroblock-Based PFGS
The Progressive Fine Granularity Scalable (PFGS) coding is a promising technique for streaming video applications. The macroblock-based PFGS coding proposes several INTER modes fo...
Tiantian Sun, Jizheng Xu, Feng Wu, Wen Gao