1813 search results - page 268 / 363 » Instance Pruning Techniques |
169
click to vote
EUROMICRO
2007
IEEE
16 years 21 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
155
click to vote
ICCAD
2007
IEEE
16 years 21 days ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
183
click to vote
ICECCS
2007
IEEE
16 years 20 days ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
159
click to vote
IPPS
2007
IEEE
16 years 20 days ago
2007
IEEE
The goal of the work described in this paper is to design and build a scalable infrastructure for executing grid applications on a widely distributed set of resources. Such grid i...
152
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...