Sciweavers

10848 search results - page 295 / 2170
» Programming in Biomolecular Computation
Sort
View
185
Voted
APPT
2007
Springer
15 years 8 months ago
A Parallel BSP Algorithm for Irregular Dynamic Programming
Dynamic programming is a widely applied algorithm design technique in many areas such as computational biology and scientific computing. Typical applications using this technique a...
Malcolm Yoke-Hean Low, Weiguo Liu, Bertil Schmidt
151
Voted
TSMC
1998
62views more  TSMC 1998»
15 years 5 months ago
Performance based design of high-level language-directed computer architectures
— This paper is concerned with the analytical modeling of computer architectures to aid in the design of high-level language-directed computer architectures. High-level language-...
Rajendra S. Katti, Mark L. Manwaring
EUC
2005
Springer
15 years 11 months ago
Program Obfuscation Scheme Using Random Numbers to Complicate Control Flow
Abstract. For the security technology that has been achieved with software in the computer system and the protection of the intellectual property right of software, software protec...
Tatsuya Toyofuku, Toshihiro Tabata, Kouichi Sakura...
149
Voted
IPPS
2003
IEEE
15 years 11 months ago
Reasoning about Deadlines in Concurrent Real-Time Programs
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
Sibylle Peuker, Ian J. Hayes
156
Voted
AFP
1995
Springer
125views Formal Methods» more  AFP 1995»
15 years 9 months ago
Merging Monads and Folds for Functional Programming
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
Erik Meijer, Johan Jeuring