12841 search results - page 2505 / 2569 » PL-detective: experiences and results |
128
click to vote
TVLSI
2008
15 years 14 days ago
2008
The on-chip communication architecture is a major determinant of overall performance in complex System-on-Chip (SoC) designs. Since the communication requirements of SoC components...
98
Voted
ALGORITHMICA
2002
15 years 13 days ago
2002
In recent years there has been an upsurge of interest in spatial databases. A major issue is how to manipulate efficiently massive amounts of spatial data stored on disk in multidi...
86
Voted
BC
2004
15 years 13 days ago
2004
Abstract. Several strategies have been described as a reaction to a stumble during gait. The elevating strategy, which tries to proceed with the perturbed step, was executed as a r...
111
click to vote
ASE
2002
15 years 13 days ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
113
Voted
BMCBI
2004
15 years 13 days ago
2004
Background: Several aspects of microarray data analysis are dependent on identification of genes expressed at or near the limits of detection. For example, regression-based normal...