7167 search results - page 1344 / 1434 » A Technique for Invariant Generation |
CODES
2005
IEEE
15 years 3 months ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...
DASFAA
2005
IEEE
15 years 3 months ago
2005
IEEE
The fundamental drawback of unstructured peer-to-peer (P2P) networks is the flooding-based query processing protocol that seriously limits their scalability. As a result, a signiï...
102
click to vote
ICCV
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a general method that parameterizes general surfaces with complex (possible branching) topology using Riemann surface structure. Rather than evolve the surface geometry...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
- Stable and effective enforcement of hard constraints is one of the crucial components in controlling physics-based dynamic simulation systems. The conventional explicit Baumgarte...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...