2059 search results - page 190 / 412 » New Advances in Reconfigurable Computing and its Application... |
199
click to vote
WSC
1997
15 years 8 months ago
1997
This paper gives an overview of business process modeling with SIMPROCESS, its applications, unique features, basic and advanced modeling constructs, and benefits. 1 WHAT IS SIMPR...
183
click to vote
ICCAD
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
185
click to vote
ISPAN
2005
IEEE
16 years 6 days ago
2005
IEEE
Noncontiguous data access is a very common access pattern in many scientific applications. Using POSIX I/O to access many pieces of noncontiguous data segments will generate a lot...
189
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
Multimedia presentation systems require flexible support for the modeling of multimedia content models. Many presentation systems provide the synchronized, sequential or concurren...
169
click to vote
WSC
2007
15 years 9 months ago
2007
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...