7820 search results - page 34 / 1564 » Formalization of Time and Space |
FORMATS
2008
Springer
14 years 12 days ago
2008
Springer
KBSE
2000
IEEE
14 years 3 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
MEMOCODE
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
ANSS
2000
IEEE
14 years 3 months ago
2000
IEEE
A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modele...
SAS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...