320 search results - page 64 / 64 » Designing Service Marts for Engineering Search Computing App... |
ICCAD
2009
IEEE
13 years 2 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
WWW
2002
ACM
14 years 5 months ago
2002
ACM
We describe ongoing work on I2I, a system aimed at fostering opportunistic communication among users viewing or manipulating content on the Web and in productivity applications. U...
LCTRTS
2009
Springer
13 years 11 months ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
HAPTICS
2005
IEEE
13 years 10 months ago
2005
IEEE
Background: Monitoring body kinematics has fundamental relevance in several biological and technical disciplines. In particular the possibility to exactly know the posture may fur...
SIGMOD
2008
ACM
14 years 5 months ago
2008
ACM
Today's enterprise databases are large and complex, often relating hundreds of entities. Enabling ordinary users to query such databases and derive value from them has been o...