3128 search results - page 534 / 626 » Finite element method |
120
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—Dynamic Bandwidth allocation in Ethernet Passive Optical Networks (EPONs) has been an area of intense research in recent years. Most of the proposed solutions offer clever metho...
125
Voted
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
This contribution describes a system and method for tomographically imaging lymph nodes marked with a lymph endothelium targeting fluorescence reporter. A novel scanning NIR lase...
155
Voted
IWPC
2007
IEEE
15 years 9 months ago
2007
IEEE
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...
106
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
146
click to vote
MEMOCODE
2007
IEEE
15 years 9 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...