2607 search results - page 196 / 522 » On the Architecture of System Verification Environments |
169
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Many reputation management systems have been developed under the assumption that each entity in the system will use a variant of the same scoring function. Much of the previous wo...
177
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Digital content is not only stored by servers on the Internet, but also on various embedded devices belonging to ubiquitous networks. In this paper, we propose a content processin...
164
click to vote
LCPC
2004
Springer
15 years 12 months ago
2004
Springer
Trimaran is an integrated compilation and performance monitoring infrastructure. The architecture space that Trimaran covers is characterized by HPL-PD, a parameterized processor a...
227
click to vote
ECBS
1996
IEEE
15 years 10 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...
181
click to vote
JCIT
2007
15 years 6 months ago
2007
An important issue of distributed systems is interoperability. Lack of interoperability between distributed systems is a common problem with current and legacy applications. Since...