655 search results - page 96 / 131 » Coinduction in Concurrent Timed Systems |
108
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
OLTP (On-Line Transaction Processing) is an important business system sector in various traditional and emerging online services. Due to the increasing number of users, OLTP syste...
DAC
2005
ACM
16 years 24 days ago
2005
ACM
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
ICSE
2009
IEEE-ACM
16 years 19 days ago
2009
IEEE-ACM
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
SIGCOMM
1997
ACM
15 years 4 months ago
1997
ACM
— Measurement-based admission control (MBAC) is an attractive mechanism to concurrently offer quality of service (QoS) to users, without requiring a priori traffic specificatio...
USENIX
2008
15 years 2 months ago
2008
This paper presents dsync, a file transfer system that can dynamically adapt to a wide variety of environments. While many transfer systems work well in their specialized context,...