1155 search results - page 163 / 231 » Computer aided analysis and design of power transformers |
183
click to vote
RTA
2011
Springer
14 years 4 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
134
click to vote
LCN
2005
IEEE
15 years 7 months ago
2005
IEEE
— The problem of achieving fairness in the allocation of the bandwidth resource on a link shared by multiple flows of traffic has been extensively researched over the last deca...
107
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
DAC
1999
ACM
16 years 2 months ago
1999
ACM
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...
110
click to vote
CORR
2004
Springer
2004
Springer
A Grid-enabled Interface to Condor for Interactive Analysis on Handheld and Resource-limited Devices
15 years 1 months ago
This paper presents the design and implementation of a Grid-enabled interactive analysis environment for handheld and other resource-limited computing devices. Handheld devices ar...