2314 search results - page 377 / 463 » Monoids over domains |
109
click to vote
IUI
1999
ACM
15 years 6 months ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...
117
Voted
ICMCS
1999
IEEE
15 years 6 months ago
1999
IEEE
With the growing popularity of the Internet, there is increasing interest in using it for audio and video transmission. Periodic network overloads, leading to bursty packet losses...
121
Voted
CAV
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
111
click to vote
DBPL
1999
Springer
15 years 6 months ago
1999
Springer
Construction of complex software systems with largely off-the-shelf components has become a reality with the wide availability and acceptance of component frameworks and distribut...
111
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Switch-based interconnects are used in a number of application domains including parallel system interconnects, local area networks, and wide area networks. However, very few swit...