2661 search results - page 403 / 533 » Model Checking Performability Properties |
104
click to vote
BMCBI
2010
15 years 28 days ago
2010
Background: Many structural properties such as solvent accessibility, dihedral angles and helix-helix contacts can be assigned to each residue in a membrane protein. Independent s...
116
Voted
JMLR
2008
15 years 24 days ago
2008
In supervised learning, a training set consisting of labeled instances is used by a learning algorithm for generating a model (classifier) that is subsequently employed for decidi...
84
Voted
GLVLSI
2006
IEEE
15 years 6 months ago
2006
IEEE
Process variations have become a key concern of circuit designers because of their significant, yet hard to predict impact on performance and signal integrity of VLSI circuits. St...
DAC
2007
ACM
16 years 1 months ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...
103
Voted
HPCA
2005
IEEE
16 years 1 months ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...