264 search results - page 45 / 53 » Time Constraint Patterns for Event B Development |
130
click to vote
VLSID
2001
IEEE
16 years 2 months ago
2001
IEEE
In this paper, we propose a new transparent built-in self-test ( TBIST ) method to test multiple embedded memory arrays with various sizes in parallel. First, a new transparent tes...
113
Voted
ISLPED
2004
ACM
15 years 8 months ago
2004
ACM
The need to perform early design studies that combine architectural simulation with power estimation has become critical as power has become a design constraint whose importance h...
158
click to vote
SDM
2011
SIAM
14 years 5 months ago
2011
SIAM
A binary matrix is fully nested if its columns form a chain of subsets; that is, any two columns are ordered by the subset relation, where we view each column as a subset of the r...
129
click to vote
JAMIA
2010
14 years 9 months ago
2010
Objective The authors used the i2b2 Medication Extraction Challenge to evaluate their entity extraction methods, contribute to the generation of a publicly available collection of...
140
Voted
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...