Sciweavers

7576 search results - page 313 / 1516
» UNIX as an Application Program
Sort
View
ISPAN
2008
IEEE
16 years 1 months ago
Task Parallelism for Object Oriented Programs
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
Nasser Giacaman, Oliver Sinnen
TPHOL
2008
IEEE
16 years 1 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
SUM
2007
Springer
16 years 25 days ago
Finding Most Probable Worlds of Probabilistic Logic Programs
Abstract. Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are intere...
Samir Khuller, Maria Vanina Martinez, Dana S. Nau,...
ICTAI
2006
IEEE
16 years 22 days ago
Graph Grammar Induction on Structural Data for Visual Programming
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
Keven Ates, Jacek P. Kukluk, Lawrence B. Holder, D...
SIGCSE
2006
ACM
117views Education» more  SIGCSE 2006»
16 years 20 days ago
Visual programming and the blind: the challenge and the opportunity
The proliferation of graphical user interfaces has had a dramatic impact on the ability to work as a programmer. It is particularly difficult for the blind to create forms for vis...
Robert M. Siegfried