1415 search results - page 212 / 283 » Verified systems by composition from verified components |
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— We propose an intercell downlink orthogonal frequency division multiple access (OFDMA) scheduling technique in a sectorized cellular network. Adjacent sectors from neig...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
ICEIS
2009
IEEE
14 years 2 months ago
2009
IEEE
Many researchers in the software agent field use the financial domain as a test bed to develop adaptation, cooperation and learning skills of software agents. However, there are no...
CRV
2008
IEEE
14 years 2 months ago
2008
IEEE
Methods for reconstructing photorealistic 3D graphics models from images or video are appealing applications of computer vision. Such methods rely on good input image data, but th...