Sciweavers

10072 search results - page 224 / 2015
» Composition of Model Programs
Sort
View
ENTCS
2011
99views more  ENTCS 2011»
15 years 1 months ago
Symmetry and Composition in Probabilistic Theories
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
Alexander Wilce
IEEEPACT
2002
IEEE
15 years 11 months ago
Workload Design: Selecting Representative Program-Input Pairs
Having a representative workload of the target domain of a microprocessor is extremely important throughout its design. The composition of a workload involves two issues: (i) whic...
Lieven Eeckhout, Hans Vandierendonck, Koenraad De ...
POPL
2005
ACM
16 years 6 months ago
The Java memory model
Jeremy Manson, William Pugh, Sarita V. Adve
CG
2006
Springer
15 years 6 months ago
Interactive physically-based simulation of catheter and guidewire
For over 20 years, interventional methods have improved the outcomes of patients with cardiovascular disease or stroke. However, these procedures require an intricate combination ...
Julien Lenoir, Stephane Cotin, Christian Duriez, P...
SOCO
2010
Springer
15 years 5 months ago
Evolving the memory of a criminal's face: methods to search a face space more effectively
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
Charlie D. Frowd, Vicki Bruce, Melanie Pitchford, ...