1833 search results - page 263 / 367 » Mechanized Verification with Sharing |
161
click to vote
ISCA
2012
IEEE
13 years 7 months ago
2012
IEEE
Modern DRAMs have multiple banks to serve multiple memory requests in parallel. However, when two requests go to the same bank, they have to be served serially, exacerbating the h...
169
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
266
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
A mashup is a Web application that integrates data, computation and GUI provided by several systems into a unique tool. The concept originated from the understanding that the numbe...
328
click to vote
ICDE
2003
IEEE
16 years 6 months ago
2003
IEEE
The long-running nature of continuous queries poses new scalability challenges for dataflow processing. CQ systems execute pipelined dataflows that may be shared across multiple q...
113
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In many clustering applications, the user has some vague notion of the number and membership of the desired clusters. However, it is difficult for the user to provide such knowled...