2520 search results - page 319 / 504 » Model-checking behavioral programs |
144
click to vote
HPCC
2005
Springer
15 years 8 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...
104
click to vote
LCTRTS
2005
Springer
15 years 8 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...
158
click to vote
ICSM
2003
IEEE
15 years 7 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 ...
140
Voted
IFIP
2010
Springer
15 years 7 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...
131
click to vote
UM
2001
Springer
15 years 6 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...