2736 search results - page 414 / 548 » Implementable allocation rules |
132
click to vote
PROCEDIA
2010
14 years 9 months ago
2010
The field of bioinformatics is witnessing a rapid and overwhelming accumulation of molecular sequence data, predominantly driven by novel wet-lab sequencing techniques. This trend...
120
Voted
EUROSYS
2011
ACM
14 years 6 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
126
click to vote
CADE
2012
Springer
13 years 4 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
127
click to vote
ERSHOV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
101
click to vote
SIGUCCS
2000
ACM
15 years 6 months ago
2000
ACM
We presented a paper in Denver that addressed our Remedy design process. At that time we talked about our current development process, but we hadn't implemented the product a...