1597 search results - page 227 / 320 » A Design Method for Object-Oriented Programming |
117
click to vote
ISCA
2008
IEEE
15 years 10 months ago
2008
IEEE
As CMOS technology scales and more transistors are packed on to the same chip, soft error reliability has become an increasingly important design issue for processors. Prior resea...
133
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Many algorithms exist for protein structural alignment, based on internal protein coordinates or on explicit superposition of the structures. These methods are usually...
155
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: A goal of proteomics is to distinguish between states of a biological system by identifying protein expression differences. Liu et al. demonstrated a method to perform...
135
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
148
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...