1580 search results - page 197 / 316 » Non-Interference Through Determinism |
VL
1999
IEEE
14 years 2 months ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
CSMR
1998
IEEE
14 years 2 months ago
1998
IEEE
Legacy systems are usually critical to the business in which they operate, but the costs of running them are often not justifiable. Determining whether such systems are worth keep...
ICS
1999
Tsinghua U.
14 years 2 months ago
1999
Tsinghua U.
Memory operations remain a significant bottleneck in dynamically scheduled pipelined processors, due in part to the inability to statically determine the existence of memory addr...
LCTRTS
1999
Springer
14 years 2 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
Traditional reliability measures for computer systems can be classi ed into Computer-Centric or Application-Centric categories. The former concentrate on the hardware resources whi...