2299 search results - page 271 / 460 » Logical Data Expiration |
144
Voted
KBSE
2008
IEEE
16 years 16 days ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
123
click to vote
DATE
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper proposes an efficient test methodology to test switches in a Network-on-Chip (NoC) architecture. A switch in an NoC consists of a number of ports and a router. Using th...
185
click to vote
TIME
2006
IEEE
16 years 4 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
143
click to vote
VTS
2006
IEEE
16 years 4 days ago
2006
IEEE
A new algorithm for identifying stuck faults in combinational circuits that cannot be detected by a given input sequence is presented. Other than pre and post-processing steps, ce...
169
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...