Sciweavers

22 search results - page 5 / 5
» Computerized adaptive testing: implementation issues
Sort
View
JGS
2010
106views more  JGS 2010»
13 years 16 days ago
On vector autoregressive modeling in space and time
Despite the fact that it provides a potentially useful analytical tool, allowing for the joint modeling of dynamic interdependencies within a group of connected areas, until latel...
Valter Di Giacinto
TPHOL
2009
IEEE
14 years 12 days ago
A Better x86 Memory Model: x86-TSO
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
Scott Owens, Susmit Sarkar, Peter Sewell