3719 search results - page 103 / 744 » order 2010 |
102
click to vote
SIAMSC
2010
14 years 10 months ago
2010
This paper constructs strong-stability-preserving general linear time-stepping methods that are well suited for hyperbolic PDEs discretized by the method of lines. These methods ge...
113
click to vote
VLSISP
2010
14 years 10 months ago
2010
We propose a new parallelization scheme for the hmmsearch function of the HMMER software, in order to target FPGA technology. hmmsearch is a very compute intensive software for bio...
EJC
2010
15 years 3 months ago
2010
The concept of permutograph is introduced and properties of integral functions on permutographs are established. The central result characterizes the class of integral functions t...
126
click to vote
ICALP
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of intervals (HS) that features four modal operators corresponding to the relations &...
124
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Complex organizations need to establish access control policies in order to manage access to restricted resources. Role Based Access Control paradigm has been introduced in ’90 ...