4270 search results - page 782 / 854 » A Permutation Approach to Validation |
100
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
A growing trend in the field is the development of experience-focused HCI, which emphasizes the experience of using the technology, rather than the focus on the task that is chara...
137
Voted
HPCA
2006
IEEE
16 years 4 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
234
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
238
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
234
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...