227 search results - page 36 / 46 » Formal verification of systems with an unlimited number of c... |
HICSS
1999
IEEE
14 years 20 days ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
ISQED
2005
IEEE
14 years 1 months ago
2005
IEEE
Today's System-on-a-Chip (SoC) design methodology provides an efficient way to develop highly integrated systems on a single chip by utilizing pre-designed intellectual prope...
JEI
2002
13 years 8 months ago
2002
This paper presents a morphology-based method for detecting license plates from cluttered images. The proposed system consists of three major components. At the first, a morpholog...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
TCAD
2008
13 years 8 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...