6010 search results - page 916 / 1202 » Computational Approaches to Drug Design |
184
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
Traditional techniques for building dependable, highperformance distributed systems are too expensive for most non-critical systems, often causing dependability to be sidelined as...
222
Voted
RTSS
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
160
click to vote
PPOPP
2005
ACM
16 years 8 days ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
160
click to vote
BIRTHDAY
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
174
Voted
CASC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...