1100 search results - page 64 / 220 » Instrumenting annotated programs |
141
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
144
Voted
ATVA
2009
Springer
15 years 5 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
146
click to vote
ECOOP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
135
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
142
click to vote
MPC
1995
Springer
15 years 8 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...