7835 search results - page 1451 / 1567 » Software are Processes Too |
LCTRTS
2000
Springer
14 years 13 days ago
2000
Springer
Multimedia communication systems require not only high-performance computer hardware and highspeed networks, but also a buffer management mechanism to process voluminous data effi...
POPL
2000
ACM
14 years 13 days ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
FPGA
1995
ACM
14 years 13 days ago
1995
ACM
During the development of computer peripherals which interface to the processor via the system bus it is often necessary to acquire the signals on the bus at the hardware level. I...
ICSM
1995
IEEE
14 years 12 days ago
1995
IEEE
Organizations spend significant resources tracking customer satisfaction and managing service delivery. Although a great deal of effort is expended in understanding what goes on w...
UIST
1997
ACM
14 years 12 days ago
1997
ACM
We propose interactive beautification, a technique for rapid geometric design, and introduce the technique and its algorithm with a prototype system Pegasus. The motivation is to ...