17450 search results - page 3365 / 3490 » Numerical Methods with Applications |
156
click to vote
VMCAI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
170
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
—The clock distribution network is a key component of any synchronous VLSI design. High power dissipation and pressure volume temperature-induced variations in clock skew have st...
206
click to vote
DFT
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper describes a methodology of creating a built-in diagnostic system of a System on Chip and experimental results of the system application on the AT94K FPSLIC with cores d...
207
click to vote
ESCIENCE
2006
IEEE
16 years 14 days ago
2006
IEEE
Our energy production increasingly depends on renewable energy sources, which impose new challenges for distributed and decentralized systems. One problem is that the availability...
185
click to vote
HPDC
2006
IEEE
16 years 13 days ago
2006
IEEE
Parallel sequence-search tools are rising in popularity among computational biologists. With the rapid growth of sequence databases, database segmentation is the trend of the futu...