Sciweavers

991 search results - page 100 / 199
» Interaction criticism and aesthetics
Sort
View
CAL
2006
13 years 10 months ago
Subtleties of Transactional Memory Atomicity Semantics
Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...
Milo M. K. Martin, Colin Blundell, E. Lewis
CORR
2007
Springer
99views Education» more  CORR 2007»
13 years 10 months ago
Evolutionary Mesh Numbering: Preliminary Results
Abstract. Mesh numbering is a critical issue in Finite Element Methods, as the computational cost of one analysis is highly dependent on the order of the nodes of the mesh. This pa...
Francis Sourd, Marc Schoenauer
CPHYSICS
2007
90views more  CPHYSICS 2007»
13 years 10 months ago
Particles in fluids
For finite Reynolds numbers the interaction of moving fluids with particles is still only understood phenomenologically. We will present three different numerical studies all u...
Hans J. Herrmann, José S. Andrade Jr., Asc&...
JAR
2006
99views more  JAR 2006»
13 years 10 months ago
An Integrated Approach to High Integrity Software Verification
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderi...
BMCBI
2010
127views more  BMCBI 2010»
13 years 10 months ago
PeptideMine - A webserver for the design of peptides for protein-peptide binding studies derived from protein-protein interactom
Background: Signal transduction events often involve transient, yet specific, interactions between structurally conserved protein domains and polypeptide sequences in target prote...
Khader Shameer, Lalima L. Madan, Shivamurthy Veera...