3239 search results - page 482 / 648 » A Logical Process Calculus |
132
Voted
ICDAR
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents our work on automatically locating charts from document pages, which is an important stage in the chart image recognition and understanding system being develo...
106
Voted
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
139
click to vote
IEEESCC
2007
IEEE
15 years 9 months ago
2007
IEEE
A service-oriented architecture (SOA) promises a more flexible intra- and interorganizational integration of heterogeneous application systems. The central design element of a SOA...
115
Voted
ISMVL
2007
IEEE
15 years 9 months ago
2007
IEEE
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
125
click to vote
ISQED
2007
IEEE
15 years 9 months ago
2007
IEEE
Parameter variation in integrated circuits causes sections of a chip to be slower than others. To prevent any resulting timing errors, designers have traditionally designed for th...