Sciweavers

7821 search results - page 208 / 1565
» Nested Ordered Sets and their Use for Data Modelling
Sort
View
WSFM
2007
Springer
16 years 19 days ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
ASPLOS
1992
ACM
15 years 10 months ago
Access Normalization: Loop Restructuring for NUMA Compilers
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
Wei Li, Keshav Pingali
ICONIP
2008
15 years 8 months ago
Improved Sparse Bump Modeling for Electrophysiological Data
Bump modeling is a method used to extract oscillatory bursts in electrophysiological signals, who are most likely to be representative of local synchronies. In this paper we presen...
François B. Vialatte, Justin Dauwels, Jordi...
COOPIS
2004
IEEE
15 years 10 months ago
Implementing QoS Aware Component-Based Applications
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...
Avraam Chimaris, George A. Papadopoulos
IPMI
2005
Springer
16 years 7 months ago
Representing Diffusion MRI in 5D for Segmentation of White Matter Tracts with a Level Set Method
We present a method for segmenting white matter tracts from high angular resolution diffusion MR images by representing the data in a 5 dimensional space of position and orientatio...
Lisa Jonasson, Patric Hagmann, Xavier Bresson, Jea...