Sciweavers

21430 search results - page 291 / 4286
» Abstract Effective Models
Sort
View
OOPSLA
2009
Springer
16 years 1 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,...
DATE
2008
IEEE
112views Hardware» more  DATE 2008»
16 years 1 months ago
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
Jonas Elmqvist, Simin Nadjm-Tehrani
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
16 years 19 days 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»
16 years 19 days 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
SIGIR
2004
ACM
16 years 16 hour ago
Display time as implicit feedback: understanding task effects
Recent research has had some success using the length of time a user displays a document in their web browser as implicit feedback for document preference. However, most studies h...
Diane Kelly, Nicholas J. Belkin