Sciweavers

317 search results - page 20 / 64
» Benchmarking weak memory models
Sort
View
SCHOLARPEDIA
2008
73views more  SCHOLARPEDIA 2008»
14 years 11 months ago
Multiple drafts model
In his book "Consciousness Explained"[2], Daniel Dennett explores some of what he perceives are the weaknesses in current models of cognition, and tries to provide an alt...
Daniel Dennett, Kathleen Akins
TSE
2011
214views more  TSE 2011»
14 years 7 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
106
Voted
SPAA
2003
ACM
15 years 5 months ago
Performance comparison of MPI and three openMP programming styles on shared memory multiprocessors
When using a shared memory multiprocessor, the programmer faces the selection of the portable programming model which will deliver the best performance. Even if he restricts his c...
Géraud Krawezik
ICPP
2008
IEEE
15 years 6 months ago
Scalable Dynamic Load Balancing Using UPC
An asynchronous work-stealing implementation of dynamic load balance is implemented using Unified Parallel C (UPC) and evaluated using the Unbalanced Tree Search (UTS) benchmark ...
Stephen Olivier, Jan Prins
TISSEC
2008
106views more  TISSEC 2008»
15 years 6 days ago
On predictive models and user-drawn graphical passwords
In commonplace text-based password schemes, users typically choose passwords that are easy to recall, exhibit patterns, and are thus vulnerable to brute-force dictionary attacks. ...
Paul C. van Oorschot, Julie Thorpe