2355 search results - page 257 / 471 » Scheduling in the Z-Polyhedral Model |
176
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
180
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Many data center devices, for instance packet switches, can be modeled within the context of resource constrained queueing systems. In this paper, we define a novel algorithm c...
163
Voted
IWSOC
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a case study of a single-chip 3G WCDMA/FDD basestation implementation based on a circuit-switched network on chip. As the amount of transistors on a chip conti...
166
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...
185
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
We introduce dag consistency, a relaxed consistency model for distributed shared memory which is suitable for multithreaded programming. We have implemented dag consistency in sof...