1925 search results - page 325 / 385 » Documenting software systems with views |
160
click to vote
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
SystemC-Plus from the ODETTE project provides the ability to simulate and synthesise object-oriented specifications into hardware. The current ODETTE compiler translates each obj...
167
click to vote
AVI
2006
15 years 5 months ago
2006
Scientific measurements are often depicted as line graphs. Stateof-the-art high throughput systems in life sciences, telemetry and electronics measurement rapidly generate hundred...
129
click to vote
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
The problem of maximizing system utility by allocating a single finite resource to satisfy discrete Quality of Service (QoS) requirements of multiple applications along multiple Q...
181
click to vote
PODC
1994
ACM
15 years 8 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
135
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...