2881 search results - page 486 / 577 » Model Checking for Programming Languages using Verisoft |
151
click to vote
ICS
2007
Tsinghua U.
15 years 11 months ago
2007
Tsinghua U.
This paper investigates helper threads that improve performance by prefetching data on behalf of an application’s main thread. The focus is data prefetch helper threads that lac...
158
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
284
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
247
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
147
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...