5085 search results - page 384 / 1017 » Multidimensional Design by Examples |
172
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
167
Voted
WISE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. As competition on global markets increases the vision of utility computing gains more and more interest. To attract more providers it is crucial to improve the performanc...
218
Voted
ESTIMEDIA
2007
Springer
16 years 1 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
142
Voted
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
We report the first fully integrated single photon avalanche diode array fabricated in 0.35µm CMOS technology. At 25µm, the pixel pitch achieved by this design is the smallest e...
187
Voted
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
Many emerging applications such as wide-area network management need to query large, structured, highly distributed datasets. Seaweed is a distributed scalable infrastructure for ...