2520 search results - page 319 / 504 » Model-checking behavioral programs |
182
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Tracing parallel programs to observe their performance introduces intrusion as the result of trace measurement overhead. If post-mortem trace analysis does not compensate...
149
click to vote
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
210
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
179
click to vote
IFIP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This article presents a novel framework to register and fuse heterogeneous sensory data. Our approach is based on geometrically registration of sensory data onto a set of...
167
click to vote
UM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...