3273 search results - page 443 / 655 » types 2007 |
163
click to vote
CSFW
2007
IEEE
16 years 28 days ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
206
click to vote
DASFAA
2007
IEEE
16 years 28 days ago
2007
IEEE
Nearest-neighbor queries are an important query type for commonly used feature databases. In many different application areas, e.g. sensor databases, location based services or fac...
208
click to vote
DASFAA
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract. Warehousing heterogeneous, dynamic biological data is a key technique for biological data integration as it greatly improves performance. However, it requires complex mai...
163
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
150
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...