2255 search results - page 371 / 451 » High Assurance Software Systems |
146
click to vote
ECBS
1996
IEEE
15 years 5 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
120
Voted
CASES
2005
ACM
15 years 2 months ago
2005
ACM
Customisable embedded processors are becoming available on the market, thus making it possible for designers to speed up execution of applications by using Application-specific F...
133
click to vote
AVI
2006
15 years 2 months ago
2006
Increasingly, public transportation systems are equipped with Global Positioning Systems (GPS) connected to control centers through wireless networks. Controllers use this infrast...
99
Voted
TASE
2008
IEEE
15 years 22 days ago
2008
IEEE
Lean buffering is the smallest buffer capacity, which is necessary and sufficient to ensure the desired production rate of a manufacturing system. Literature offers methods for des...
159
click to vote
HIPEAC
2011
Springer
14 years 14 days ago
2011
Springer
In chip multiprocessors (CMPs), data accesslatency dependson the memory hierarchy organization, the on-chip interconnect (NoC), and the running workload. Reducing data access late...