2141 search results - page 244 / 429 » Embedded Software |
147
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
142
click to vote
ICESS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the paper, a portable off-line OCR and bi-linguistic translation system (Chinese to English, English to Chinese)—Electronic Reading Pen (ERPen) is designed and impl...
139
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we propose a fast and simple heuristic for the cosynthesis problem targeting the system-on-chip (SOC) design. The proposed algorithm covers from implementation sele...
173
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
The capacity of flash-memory storage systems grows at a speed similar to many other storage systems. In order to properly manage the product cost, vendors face serious challenges ...
210
Voted
WOTUG
2008
15 years 7 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...