898 search results - page 91 / 180 » A Linear Tabling Mechanism |
MICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
One of the main challenges of modern processor design is the implementation of a scalable and efficient mechanism to detect memory access order violations as a result of out-of-o...
NOMS
2006
IEEE
14 years 1 months ago
2006
IEEE
— The importance of the routers in the network and the vulnerability in the nature of the link state routing protocol highlight the necessity of effective routing protection agai...
ISCC
2005
IEEE
14 years 1 months ago
2005
IEEE
A shared communication medium is characterized by multiple entities that use this medium by reading and writing from and to it. Write operations on the shared communication medium...
P2P
2005
IEEE
14 years 1 months ago
2005
IEEE
A resource directory is a critical component of a Grid architecture. P2P computing paradigm could address some of the scalability issues that make distributed resource discovery s...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
We demonstrate a prototype that translates schemas from a source metamodel (e.g., OO, relational, XML) to a target metamodel. The prototype is integrated with Microsoft Visual Stu...