261 search results - page 23 / 53 » Unavoidable sequences in constructive analysis |
CC
2007
Springer
15 years 6 months ago
2007
Springer
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
92
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes a parallel implementation of our recently developed algorithm for phylogenetic analysis on the IBM BlueGene/L cluster [15]. This algorithm constructs evolutio...
MASCOTS
2007
15 years 1 months ago
2007
—Previously, we have developed a framework to perform systematic analysis of CSMA/CA based wireless MAC protocols. The framework first identifies protocol states that meet our ...
98
Voted
GG
2004
Springer
15 years 5 months ago
2004
Springer
Biochemical pathways, such as metabolic, regulatory, and signal transduction pathways, constitute complex networks of functional and physical interactions between molecular species...
WINE
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we propose a simple framework to characterize the switching behavior between search engines based on click streams. We segment users into a number of categories bas...