279 search results - page 41 / 56 » Refined statistical static timing analysis through |
IISWC
2009
IEEE
14 years 4 months ago
2009
IEEE
In many areas such as e-commerce, mission-critical N-tier applications have grown increasingly complex. They are characterized by non-stationary workloads (e.g., peak load several...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Korean is an agglutinative language that does not have explicit word boundaries. It is also a highly inflective language that exhibits severe coarticulation effects. These charac...
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...
JAR
2006
13 years 9 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
IJMMS
2008
13 years 9 months ago
2008
Drivers need assistance when navigating an unfamiliar route. In-vehicle navigation systems have improved in recent years due to the technology advances, but are sometimes problema...