304 search results - page 52 / 61 » Verification of Timed Systems Using POSETs |
96
Voted
DAC
2004
ACM
16 years 19 days ago
2004
ACM
Capacitance extraction is an important problem that has been extensively studied. This paper presents a significant improvement for the fast multipole accelerated boundary element...
113
Voted
ICICIC
2006
IEEE
15 years 5 months ago
2006
IEEE
Nowadays the AFIS (Automatic fingerprint Identification system) plays more and more important roles in various applications such as access control, ATM card verification and crimi...
86
Voted
DAGSTUHL
2004
15 years 1 months ago
2004
Complexity is the core problem of contemporary information technology, as the "artificial complicatedness" of its artefacts is exploding. Intellectually easy and economic...
97
Voted
ECUMN
2007
Springer
15 years 5 months ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...
ACMSE
2005
ACM
15 years 5 months ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...