12115 search results - page 2334 / 2423 » Bisimulation of Dynamical Systems |
146
click to vote
WSDM
2010
ACM
16 years 1 months ago
2010
ACM
There has been a large amount of research on efficient document retrieval in both IR and web search areas. One important technique to improve retrieval efficiency is early termina...
162
Voted
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
134
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
In this paper, we extensively tune and then compare the performance of web servers based on three different server architectures. The µserver utilizes an event-driven architectur...
127
click to vote
ICCAD
2008
IEEE
16 years 28 days ago
2008
IEEE
— Leveraging the power of scratchpad memories (SPMs) available in most embedded systems today is crucial to extract maximum performance from application programs. While regular a...
148
click to vote
PEPM
2009
ACM
16 years 28 days ago
2009
ACM
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...