Sciweavers

2947 search results - page 28 / 590
» Analyzing Program Analyses
Sort
View
COMPUTER
2010
135views more  COMPUTER 2010»
14 years 11 months ago
Analyzing Parallel Programs with Pin
Moshe Bach, Mark Charney, Robert Cohn, Elena Demik...
DTJ
1998
93views more  DTJ 1998»
14 years 10 months ago
Analyzing Memory Access Patterns of Programs on Alpha-based Architectures
Susanne M. Balle, Simon C. Steely Jr.
94
Voted
DMS
2010
147views Multimedia» more  DMS 2010»
14 years 9 months ago
Towards Security-aware Program Visualization for Analyzing In-lined Reference Monitors
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
Aditi Patwardhan, Kevin W. Hamlen, Kendra Cooper
56
Voted
ANOR
2011
104views more  ANOR 2011»
14 years 6 months ago
Using linear programming to analyze and optimize stochastic flow lines
Stefan Helber, Katja Schimmelpfeng, Raik Stolletz,...
ENTCS
2008
103views more  ENTCS 2008»
14 years 11 months ago
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
Using linear algebraic techniques, we analyse the computational complexity of testing reachability in Petri nets for which markings can grow very fast. This leads to two subclasse...
M. Praveen, Kamal Lodaya