655 search results - page 108 / 131 » Coinduction in Concurrent Timed Systems |
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
– With the rapid increase of design complexity and the decrease of device features in nano-scale technologies, interconnection optimization in digital systems becomes more and mo...
ICPP
2008
IEEE
15 years 6 months ago
2008
IEEE
—We address the recently recognized privatization problem in software transactional memory (STM) runtimes, and introduce the notion of partially visible reads (PVRs) to heuristic...
114
click to vote
CSMR
2007
IEEE
15 years 6 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Internet traffic is bursty and network servers are often overloaded with surprising events or abnormal client request patterns. This paper studies scheduling algorithms for in...
CSMR
2005
IEEE
15 years 5 months ago
2005
IEEE
Impact analysis is the process of determining the effect, or impact, of a change to a software system. Dynamic impact analysis uses data obtained from executing a program to perfo...