Sciweavers

21 search results - page 4 / 5
» Dynamic synthesis for relaxed memory models
Sort
View
ILC
2007
Springer
14 years 11 days ago
Towards Model-Checking Programs with Lists
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
Alain Finkel, Étienne Lozes, Arnaud Sangnie...
ISCA
2007
IEEE
145views Hardware» more  ISCA 2007»
14 years 15 days ago
Mechanisms for store-wait-free multiprocessors
Store misses cause significant delays in shared-memory multiprocessors because of limited store buffering and ordering constraints required for proper synchronization. Today, prog...
Thomas F. Wenisch, Anastassia Ailamaki, Babak Fals...
GMAI
2006
IEEE
126views Solid Modeling» more  GMAI 2006»
14 years 8 days ago
Generating Surface Textures based on Cellular Networks
This paper describes a method allowing the automatic multi-texturing and simulation of surface imperfections based on a cellular network. In this representation, networks of conne...
Stéphane Gobron, Denis Finck
PVLDB
2010
134views more  PVLDB 2010»
13 years 4 months ago
High-Performance Dynamic Pattern Matching over Disordered Streams
Current pattern-detection proposals for streaming data recognize the need to move beyond a simple regular-expression model over strictly ordered input. We continue in this directi...
Badrish Chandramouli, Jonathan Goldstein, David Ma...
TVCG
1998
197views more  TVCG 1998»
13 years 5 months ago
A New Line Integral Convolution Algorithm for Visualizing Time-Varying Flow Fields
—New challenges on vector field visualization emerge as time-dependent numerical simulations become ubiquitous in the field of computational fluid dynamics (CFD). To visualize da...
Han-Wei Shen, David L. Kao