308 search results - page 47 / 62 » Symbolic execution of data paths |
ISMVL
2010
IEEE
14 years 4 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
MICCAI
2001
Springer
14 years 3 months ago
2001
Springer
We are developing virtual fixtures for the internal mammary artery (IMA) harvest portion of robot-assisted coronary artery bypass graft procedures. A preoperative CT scan will be p...
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...
PC
2008
13 years 11 months ago
2008
We present a multistage model for allocation of financial resources to bond indices in different currencies. The model was tested on historical data of interest and exchange rates...
PDP
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper examines the scalable parallel implementation of QR factorization of a general matrix, targeting SMP and multi-core architectures. Two implementations of algorithms-by-...