Sciweavers

2534 search results - page 437 / 507
» A Type System for the Push-Enter Model
Sort
View
FMICS
2010
Springer
13 years 8 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
JCP
2008
114views more  JCP 2008»
13 years 7 months ago
IntelligenTester - Test Sequence Optimization Framework using Multi-Agents
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
D. Jeya Mala, V. Mohan
VLDB
1998
ACM
180views Database» more  VLDB 1998»
13 years 12 months ago
Active Storage for Large-Scale Data Mining and Multimedia
The increasing performance and decreasing cost of processors and memory are causing system intelligence to move into peripherals from the CPU. Storage system designers are using t...
Erik Riedel, Garth A. Gibson, Christos Faloutsos
JISBD
2000
13 years 9 months ago
Databases and Natural Language Interfaces
A Natural Language Interface for Databases allows users of multimedia kiosks to formulate natural language questions. User questions are first translated into a logic language and ...
Porfírio P. Filipe, Nuno J. Mamede
BMCBI
2007
113views more  BMCBI 2007»
13 years 7 months ago
Analysis and prediction of antibacterial peptides
Background: Antibacterial peptides are important components of the innate immune system, used by the host to protect itself from different types of pathogenic bacteria. Over the l...
Sneh Lata, B. K. Sharma, G. P. S. Raghava