10159 search results - page 1727 / 2032 » System Design Validation Using Formal Models |
193
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
200
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
167
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel methodology for design space exploration using a two-steps scheme to optimize the number of virtual channel buffers (buffers take the premier share of the route...
204
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— Modern database management systems (DBMS) answer a multitude of complex queries on increasingly larger datasets. Given the complexities of the queries and the numerous ...
205
click to vote
IJVR
2006
15 years 6 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...