2144 search results - page 197 / 429 » Exact Flow Analysis |
146
Voted
APLAS
2008
ACM
15 years 7 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
129
click to vote
WCE
2007
2007
Performance Analysis of Job-Shop Production Systems under Different Order Release Control Parameters
15 years 6 months ago
—Controlling the flow of materials inside job-shops involves several decisions such as the acceptance or rejection of an incoming order, the order’s due date definition, the re...
142
click to vote
CCR
2004
15 years 4 months ago
2004
This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocac...
127
click to vote
ASPDAC
2010
ACM
15 years 3 months ago
2010
ACM
Abstract-- Optimizing blocks in a System-on-Chip (SoC) circuit is becoming more and more important nowadays due to the use of third-party Intellectual Properties (IPs) and reused d...
158
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...