Sciweavers

1760 search results - page 18 / 352
» Program Analysis Using Weighted Pushdown Systems
Sort
View
MOC
2002
131views more  MOC 2002»
13 years 10 months ago
Some baby-step giant-step algorithms for the low hamming weight discrete logarithm problem
In this paper, we present several baby-step giant-step algorithms for the low hamming weight discrete logarithm problem. In this version of the discrete log problem, we are require...
Douglas R. Stinson
HCI
2009
13 years 8 months ago
People-Oriented Programming: From Agent-Oriented Analysis to the Design of Interactive Systems
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
Steve Goschnick
SIGADA
2005
Springer
14 years 4 months ago
Experimental performance analysis of ada programs in cluster system
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a re...
Korochkin Alexandr, Salah Imad, Korochkin Dmitry
SCAM
2006
IEEE
14 years 4 months ago
SMART C: A Semantic Macro Replacement Translator for C
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
Matthew Jacobs, E. Christopher Lewis
WICSA
2001
14 years 8 days ago
Focus: A Light-Weight, Incremental Approach to Software Architecture Recovery and Evolution
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...
Lei Ding, Nenad Medvidovic