6960 search results - page 400 / 1392 » Continuity Analysis of Programs |
143
click to vote
IFIP
2001
Springer
15 years 9 months ago
2001
Springer
It is our contention that information technology is a cultural commodity whose influence is spread through economic and political action of institutions such as the government and...
142
click to vote
SAS
1999
Springer
15 years 9 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
123
click to vote
RTAS
1996
IEEE
15 years 9 months ago
1996
IEEE
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...
124
click to vote
WCET
2008
15 years 6 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...
155
click to vote
APBC
2003
15 years 6 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...