842 search results - page 66 / 169 » Numerical Analysis on a Quantum Computer |
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
With semiconductor fabrication technologies scaled below 100 nm, the design-manufacturing interface becomes more and more complicated. The resultant process variability causes a nu...
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
VC
2010
13 years 6 months ago
2010
This paper presents an animation system that generates an animation from natural language texts such as movie scripts or stories. It also proposes a framework for a motion database...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Recently, we proposed a random transmit power control (TPC) to increase the uplink capacity of DS-CDMA wireless packet access using Rake combining. Furthermore, we evaluated th...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
Packet reservation multiple access (PRMA) protocol is an implicit reservation MAC protocol. It is initially designed for voice packets in the cellular networks [2], [3] but it is...