7393 search results - page 540 / 1479 » Synthesis-for-testability using transformations |
205
click to vote
SMA
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we describe an algorithm for generating an exact rational envelope of a two-parameter family of spheres given by a quadratic patch in R3,1 , which is considered as ...
202
click to vote
NDSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
178
click to vote
ICDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
In recent years, efforts have begun to put math contents on the Web. As for other types of Web information, search capabilities should be provided to enable users to find what the...
186
click to vote
SUTC
2006
IEEE
16 years 1 months ago
2006
IEEE
With 250,000 NTD invested, 6 man power allocated, and 9 month time elapsed, we present BLLive. The seemingly dumb, senseless BL Hall at National Taiwan University is transformed t...
230
click to vote
CASES
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...