Sciweavers

451 search results - page 17 / 91
» Relationless Completeness and Separations
Sort
View
71
Voted
SCAM
2006
IEEE
15 years 3 months ago
Data Representation Alternatives in Semantically Augmented Numerical Models
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
Michael W. Fagan, Laurent Hascoët, Jean Utke
KES
2004
Springer
15 years 3 months ago
Automatic Solar Flare Tracking
Measurement of the evolution properties of solar flares through their complete cyclic development is crucial in the studies of Solar Physics. From analysis of solar Hα images, we...
Ming Qu, Frank Y. Shih, Ju Jing, Haimin Wang, Davi...
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
15 years 2 months ago
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JoAnn M. Paul, Donald E. Thomas
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
15 years 10 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
INFOCOM
2008
IEEE
15 years 4 months ago
Task Scheduling and Lightpath Establishment in Optical Grids
—Data-intensive Grid applications require huge data transferring between multiple geographically separated computing nodes where computing tasks are executed. For a future WDM ne...
Xin Liu, Wei Wei, Chunming Qiao, Ting Wang, Weishe...