Sciweavers

2786 search results - page 176 / 558
» A Practical Technique for Process Abstraction
Sort
View
CIBCB
2008
IEEE
15 years 8 months ago
An information theoretic approach for the discovery of irregular and repetitive patterns in genomic data
sequence content at an abstract level and offers novel ways to examine the information contained in them. Our approach is an information theoretic search process which uses patter...
Willard Davis, Ananth Kalyanaraman, Diane J. Cook
CC
2005
Springer
108views System Software» more  CC 2005»
15 years 7 months ago
Task Partitioning for Multi-core Network Processors
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
Robert Ennals, Richard Sharp, Alan Mycroft
111
Voted
DATE
2000
IEEE
105views Hardware» more  DATE 2000»
15 years 6 months ago
System Synthesis for Multiprocessor Embedded Applications
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
Luigi Carro, Márcio Eduardo Kreutz, Fl&aacu...
ICTAI
2003
IEEE
15 years 7 months ago
Eliminating Redundancies in SAT Search Trees
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, ...
ENVSOFT
2006
144views more  ENVSOFT 2006»
15 years 1 months ago
Ten iterative steps in development and evaluation of environmental models
Models are increasingly being relied upon to inform and support natural resource management. They are incorporating an ever broader range of disciplines and now often confront peo...
Anthony J. Jakeman, Rebecca A. Letcher, John P. No...