3828 search results - page 415 / 766 » Proof-Based System Engineering Using a Virtual System Model |
168
Voted
FPL
2007
Springer
16 years 29 days ago
2007
Springer
This paper describes an execution cache that uses process migration between hardware and software contexts by way of run-time reconfiguration (RTR) of Field Programmable Gate Arr...
194
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Automatic categorization of user queries is an important component of general purpose (Web) search engines, particularly for triggering rich, query-specific content and sponsored ...
188
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Given the increasing dependence of our societies on information systems, the overall security of these systems should be measured and improved. Existing work generally focuses on ...
187
click to vote
ACSD
1998
IEEE
15 years 11 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
155
click to vote
CODES
2003
IEEE
16 years 2 days ago
2003
IEEE
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...