1304 search results - page 241 / 261 » Model Checking C Programs Using F-SOFT |
101
Voted
NOMS
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
131
Voted
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
118
Voted
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Grid is an emerging infrastructure used to share resources among virtual organizations in a seamless manner and to provide breakthrough computing power at low cost. Nowadays there...
131
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
1 Fault-tolerance is due to the semiconductor technology development important, not only for safety-critical systems but also for general-purpose (non-safety critical) systems. How...
117
click to vote
OOPSLA
2010
Springer
15 years 24 days ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...