Sciweavers

1963 search results - page 209 / 393
» Function Materialization in Object Bases
Sort
View
165
Voted
WIOPT
2010
IEEE
15 years 1 months ago
Optimizing power allocation in interference channels using D.C. programming
Abstract--Power allocation is a promising approach for optimizing the performance of mobile radio systems in interference channels. In the present paper, the non-convex objective f...
Hussein Al-Shatri, Tobias Weber
145
Voted
TLCA
2009
Springer
15 years 10 months ago
Parametricity for Haskell with Imprecise Error Semantics
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
Florian Stenger, Janis Voigtländer
128
Voted
TMI
2011
108views more  TMI 2011»
14 years 10 months ago
Incorporation of a Left Ventricle Finite Element Model Defining Infarction Into the XCAT Imaging Phantom
—The 4D extended Cardiac-Torso (XCAT) phantom was developed to provide a realistic and flexible model of the human anatomy and cardiac and respiratory motions for use in medical ...
Alexander I. Veress, William Paul Segars, Benjamin...
216
Voted
VLDB
2004
ACM
161views Database» more  VLDB 2004»
16 years 3 months ago
Supporting top-k join queries in relational databases
Ranking queries produce results that are ordered on some computed score. Typically, these queries involve joins, where users are usually interested only in the top-k join results....
Ihab F. Ilyas, Walid G. Aref, Ahmed K. Elmagarmid
137
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
Producing more reliable software: mature software engineering process vs. state-of-the-art technology?
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
James C. Widmaier