1346 search results - page 222 / 270 » Alternating-time dynamic logic |
142
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not giv...
170
click to vote
IEEEPACT
1999
IEEE
15 years 10 months ago
1999
IEEE
In current superscalar processors, all floating-point resources are idle during the execution of integer programs. As previous works show, this problem can be alleviated if the fl...
161
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
153
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...
155
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...