Sciweavers

3053 search results - page 393 / 611
» Performance of Generative Programming Based Protocol Impleme...
Sort
View
155
Voted
FM
2008
Springer
152views Formal Methods» more  FM 2008»
15 years 5 months ago
Constraint Prioritization for Efficient Analysis of Declarative Models
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
Engin Uzuncaova, Sarfraz Khurshid
ICPP
1997
IEEE
15 years 7 months ago
Automatic Partitioning of Data and Computations on Scalable Shared Memory Multiprocessors
Abstract—This paper describes an algorithm for deriving data and computation partitions on scalable shared memory multiprocessors. The algorithm establishes affinity relationshi...
Sudarsan Tandri, Tarek S. Abdelrahman
LWA
2004
15 years 4 months ago
Efficient Frequent Pattern Mining in Relational Databases
Data mining on large relational databases has gained popularity and its significance is well recognized. However, the performance of SQL based data mining is known to fall behind ...
Xuequn Shang, Kai-Uwe Sattler, Ingolf Geist
105
Voted
CORR
2010
Springer
145views Education» more  CORR 2010»
15 years 25 days ago
Orthogonal symmetric Toeplitz matrices for compressed sensing: Statistical isometry property
Recently, the statistical restricted isometry property (RIP) has been formulated to analyze the performance of deterministic sampling matrices for compressed sensing. In this paper...
Kezhi Li, Lu Gan, Cong Ling
139
Voted
LFP
1992
140views more  LFP 1992»
15 years 4 months ago
Global Tagging Optimization by Type Inference
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
Fritz Henglein