Sciweavers

766 search results - page 118 / 154
» Multiple-view feature modelling for integral product develop...
Sort
View
MICRO
2008
IEEE
92views Hardware» more  MICRO 2008»
14 years 3 months ago
Online design bug detection: RTL analysis, flexible mechanisms, and evaluation
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...
Kypros Constantinides, Onur Mutlu, Todd M. Austin
ANOR
2005
57views more  ANOR 2005»
13 years 9 months ago
Integer-Programming Software Systems
Recent developments in integer-programming software systems have tremendously improved our ability to solve large-scale instances. We review the major algorithmic components of sta...
Alper Atamtürk, Martin W. P. Savelsbergh
BMCBI
2007
118views more  BMCBI 2007»
13 years 9 months ago
A new advance in alternative splicing databases: from catalogue to detailed analysis of regulation of expression and function of
Background: Most human genes produce several transcripts with different exon contents by using alternative promoters, alternative polyadenylation sites and alternative splice site...
Pierre de la Grange, Martin Dutertre, Margot Corre...
JUCS
2002
231views more  JUCS 2002»
13 years 8 months ago
Efficient Content-Based and Metadata Retrieval in Image Database
: Managing image data in a database system using metadata has been practiced since the last two decades. However, describing an image fully and adequately with metadata is practica...
Solomon Atnafu, Richard Chbeir, Lionel Brunie
SMA
2009
ACM
117views Solid Modeling» more  SMA 2009»
14 years 3 months ago
Discrete physics using metrized chains
Over the last fifty years, there have been numerous efforts to develop from first principles a comprehensive discrete formulation of geometric physics, including Whitney’s ge...
Antonio DiCarlo, Franco Milicchio, Alberto Paoluzz...