15660 search results - page 347 / 3132 » The Unbalance of Set Systems |
168
click to vote
VLSID
2000
IEEE
16 years 7 hour ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
229
click to vote
TOOLS
1999
IEEE
15 years 12 months ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
210
click to vote
RTSS
1998
IEEE
15 years 12 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
208
click to vote
COMPSAC
1996
IEEE
15 years 11 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
249
click to vote
RTSS
1996
IEEE
15 years 11 months ago
1996
IEEE
W e investigate here the performance implications of supporting transaction atomicity in a distributed realtime database system. Using a detailed simulation model of a firm-deadli...