3256 search results - page 439 / 652 » Applications of Formal Methods to System Design and Verifica... |
168
click to vote
IEEEINTERACT
2002
IEEE
15 years 10 months ago
2002
IEEE
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
151
Voted
AP2PC
2004
Springer
15 years 11 months ago
2004
Springer
A Middleware is the software that assists an application to interact or communicate with other applications, networks, hardware, and/or operating systems. We have earlier proposed ...
152
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
This paper explores the application of the particle swarm algorithm for a NP-hard problem in the area of wireless communications. The specific problem is of detecting symbols in a...
149
click to vote
HPCA
2008
IEEE
16 years 5 months ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...
178
click to vote
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...