1760 search results - page 171 / 352 » Program Analysis Using Weighted Pushdown Systems |
90
Voted
ITICSE
2005
ACM
15 years 6 months ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
99
Voted
TASE
2007
IEEE
15 years 7 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
87
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
PVM
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
105
Voted
SQJ
2002
15 years 13 days ago
2002
Abstract. The work of Voas and colleagues has introduced, refined and applied the propagation, infection and execution (PIE) analysis technique for measuring testability of program...