6562 search results - page 1237 / 1313 » Noetherianity and Combination Problems |
132
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
130
click to vote
WEA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we consider the problem of computing a minimum cycle basis of an undirected graph G = (V, E) with n vertices and m edges. We describe an efficient implement...
136
click to vote
ISPD
2004
ACM
15 years 10 months ago
2004
ACM
Automated cell placement is a critical problem in VLSI physical design. New analytical placement methods that simultaneously spread cells and optimize wirelength have recently rec...
135
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...
147
click to vote
NETGAMES
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we present an approach to provide Quality of Service (QoS) for networked mobile gaming. In order to examine the QoS requirements of mobile games, we ported a simple...