10055 search results - page 1551 / 2011 » Structured programming using processes |
129
Voted
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...
137
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
While using how-to documents for guidance in performing computer-based tasks, users often run into problems due to inaccurate, out-of-date and incomplete documentation. These prob...
109
Voted
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
147
click to vote
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
Location is one of the most important contexts used in the applications in the pervasive computing environments . It helps the application do the right thing at the right place. O...
116
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...