Sciweavers

708 search results - page 105 / 142
» Precise Specification and Automatic Application of Design Pa...
Sort
View
RECOMB
2003
Springer
16 years 3 months ago
Whole-genome comparative annotation and regulatory motif discovery in multiple yeast species
In [13] we reported the genome sequences of S. paradoxus, S. mikatae and S. bayanus and compared these three yeast species to their close relative, S. cerevisiae. Genome-wide comp...
Manolis Kamvysselis, Nick Patterson, Bruce Birren,...
KDD
2007
ACM
155views Data Mining» more  KDD 2007»
16 years 3 months ago
Mining templates from search result records of search engines
Metasearch engine, Comparison-shopping and Deep Web crawling applications need to extract search result records enwrapped in result pages returned from search engines in response ...
Hongkun Zhao, Weiyi Meng, Clement T. Yu
122
Voted
IEEEPACT
2008
IEEE
15 years 9 months ago
A tuning framework for software-managed memory hierarchies
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
Manman Ren, Ji Young Park, Mike Houston, Alex Aike...
MM
2004
ACM
122views Multimedia» more  MM 2004»
15 years 8 months ago
Context for semantic metadata
This article argues for the growing importance of quality metadata and the equation of that quality with precision and semantic grounding. Such semantic grounding requires metadat...
Kenneth B. Haase
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 7 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...