Sciweavers

5830 search results - page 855 / 1166
» Automatic link generation
Sort
View
SIGSOFT
2005
ACM
16 years 7 months ago
Permissive interfaces
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
168
Voted
RECOMB
2007
Springer
16 years 7 months ago
Comparative Analysis of Spatial Patterns of Gene Expression in Drosophila melanogaster Imaginal Discs
Determining the precise spatial extent of expression of genes across different tissues, along with knowledge of the biochemical function of the genes is critical for understanding ...
Cyrus L. Harmon, Parvez Ahammad, Ann Hammonds, Ric...
SIGMOD
2008
ACM
116views Database» more  SIGMOD 2008»
16 years 7 months ago
SPADE: the system s declarative stream processing engine
In this paper, we present Spade - the System S declarative stream processing engine. System S is a large-scale, distributed data stream processing middleware under development at ...
Bugra Gedik, Henrique Andrade, Kun-Lung Wu, Philip...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Revel8or: Model Driven Capacity Planning Tool Suite
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
Liming Zhu, Yan Liu, Ngoc Bao Bui, Ian Gorton
EUROGRAPHICS
2010
Eurographics
16 years 3 months ago
Implicit Blending Revisited
Blending is both the strength and the weakness of functionally based implicit surfaces (such as F-reps or softobjects). While it gives them the unique ability to smoothly merge in...
Adrien Bernhardt, Loic Barthe, Marie-Paule Cani, B...