Sciweavers

10848 search results - page 409 / 2170
» Programming in Biomolecular Computation
Sort
View
FCCM
2006
IEEE
106views VLSI» more  FCCM 2006»
16 years 28 days ago
Scalable Hardware Architecture for Real-Time Dynamic Programming Applications
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
Brad Matthews, Itamar Elhanany
SAC
2006
ACM
16 years 25 days ago
A posteriori defensive programming: an annotation toolkit for DoS-resistant component-based architectures
Denial-of-Service (DoS) attacks are a major concern for modern distributed applications. They exploit weakness in the software in order to make it unavailable to well-behaved user...
Valerio Schiavoni, Vivien Quéma
ACSC
2005
IEEE
16 years 15 days ago
Optimising Parallel Pattern-matching by Source-level Program Transformation
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
R. Lyndon While, Tony Field
IEEESCC
2005
IEEE
16 years 14 days ago
Abacus: A Service-Oriented Programming Language for Grid Applications
This paper presents Abacus, a service-oriented programming language designed for the development of grid applications. Abacus considers that all the grid resources constitute a un...
Xiaoning Wang, Lijuan Xiao, Wei Li, Zhiwei Xu
SPIN
2005
Springer
16 years 11 days ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina