4693 search results - page 791 / 939 » Verifying Hybrid Systems |
103
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
194
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
227
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
170
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
In order to enable extensibility, modern query optimizers typically leverage a transformation rule based framework. Testing individual rule correctness as well as correctness of r...
187
click to vote
SIGMOD
2008
ACM
16 years 1 months ago
2008
ACM
Snippets are used by almost every text search engine to complement ranking scheme in order to effectively handle user searches, which are inherently ambiguous and whose relevance ...