3028 search results - page 467 / 606 » Integrating Temporal Logics |
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
—In this paper, we propose a new nonlinear classier based on a generalized Choquet integral with signed fuzzy measures to enhance the classification power by capturing all possib...
GLVLSI
2007
IEEE
14 years 3 months ago
2007
IEEE
Parallel counters are key elements in many arithmetic circuits, especially fast multipliers. In this paper, novel architectures and designs for high speed, low power (3, 2), (7, 3...
IEEESCC
2007
IEEE
14 years 3 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...
ISQED
2007
IEEE
14 years 3 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...
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...