Sciweavers

4469 search results - page 285 / 894
» Dynamic Program Slicing
Sort
View
ISSPIT
2010
13 years 3 months ago
Accelerating the Nussinov RNA folding algorithm with CUDA/GPU
Graphics processing units (GPU) on commodity video cards have evolved into powerful computational devices. The RNA secondary structure arises from the primary structure and a backb...
Dar-Jen Chang, Christopher Kimmer, Ming Ouyang
ESOP
2007
Springer
14 years 2 months ago
Cost Analysis of Java Bytecode
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
TOOLS
1992
IEEE
14 years 11 days ago
The Oberon System
We show how an object-oriented system-and in particular the Oberon System-can be used to write software that is extensible by end users even while the software is running. Extensib...
Hanspeter Mössenböck
ACMSE
2008
ACM
13 years 10 months ago
A little language for surveys: constructing an internal DSL in Ruby
Using a problem domain motivated by Bentley's"Little Languages" column [1], this paper explores the use of the Ruby programming language's flexible syntax, dyn...
H. Conrad Cunningham
ENTCS
2000
109views more  ENTCS 2000»
13 years 8 months ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff