2701 search results - page 441 / 541 » On the form of witness terms |
196
click to vote
ICPP
2007
IEEE
16 years 22 days ago
2007
IEEE
Three-dimensional Network-on-Chip (3-D NoC) is an emerging research topic exploring the network architecture of 3-D ICs that stack several smaller wafers for reducing wire length ...
161
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
Programmers commonly reuse existing frameworks or libraries to reduce software development efforts. One common problem in reusing the existing frameworks or libraries is that the...
176
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
157
click to vote
P2P
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— Grid resource providers can use gossiping to disseminate their available resource state to remote regions of the grid to attract application load. Pairwise gossiping pr...
188
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...