40 search results - page 6 / 8 » sas 2007 |
SAS
2007
Springer
14 years 5 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
SAS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
SAS
2007
Springer
14 years 5 months ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
ANOR
2007
13 years 11 months ago
2007
This paper introduces a model for Distributed Employee Timetabling Problems (DisETPs) and proposes a general architecture for solving DisETPs by using a Multi Agent System (MAS) pa...
WCE
2007
14 years 14 hour ago
2007
— In many applications of failure time data analysis, it is important to perform inferences about the median of the distribution function in situations of failure time data model...