1346 search results - page 226 / 270 » Alternating-time dynamic logic |
120
click to vote
ISORC
2000
IEEE
15 years 5 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
104
click to vote
MICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
Data, addresses, and instructions are compressed by maintaining only significant bytes with two or three extension bits appended to indicate the significant byte positions. This s...
131
click to vote
ACMSE
1995
ACM
15 years 5 months ago
1995
ACM
{ Traditional computer applications have been designed to be run by one user at a time who does some work in a single medium, such as ASCII text, and very little regard has been gi...
116
click to vote
MICRO
1995
IEEE
15 years 5 months ago
1995
IEEE
Current superscalar processors, both RISC and CISC, require substantial instruction fetch and decode bandwidth to keep multiple functional units utilized. While CISC instructions ...
130
click to vote
HT
1991
ACM
15 years 5 months ago
1991
ACM
Most hypermedia systems emphasize the integration of graphics, images, video, and audio into a traditional hypertext framework. The hyperspeech system described in this paper, a s...