1760 search results - page 95 / 352 » Program Analysis Using Weighted Pushdown Systems |
125
Voted
UM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
160
click to vote
CC
2012
Springer
13 years 8 months ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
128
Voted
AGENTS
2001
Springer
15 years 5 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
102
click to vote
SIAMJO
2008
15 years 15 days ago
2008
It is known that the Karush-Kuhn-Tucker (KKT) conditions of semidefinite programming can be reformulated as a nonsmooth system via the metric projector over the cone of symmetric ...
92
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...