7393 search results - page 541 / 1479 » Synthesis-for-testability using transformations |
209
click to vote
IPPS
2005
IEEE
16 years 24 days ago
2005
IEEE
Sigma, the first single-round group membership (GM) algorithm, was recently introduced and demonstrated to operate consistently with theoretical expectations in a simulated WAN en...
193
click to vote
CHARME
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
199
click to vote
EMMCVPR
2005
Springer
16 years 22 days ago
2005
Springer
We propose a novel technique based on spherical splines for brain surface representation and analysis. This research is strongly inspired by the fact that, for brain surfaces, it i...
215
Voted
ESTIMEDIA
2005
Springer
16 years 22 days ago
2005
Springer
Designing Application-Specific Instruction-set Processors (ASIPs) usually requires designing a custom datapath, and modifying instruction-set, instruction decoder, and compiler. A...
168
Voted
SP
2003
IEEE
16 years 14 days ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...