Sciweavers

2880 search results - page 270 / 576
» Types are calling conventions
Sort
View
ICECCS
2002
IEEE
85views Hardware» more  ICECCS 2002»
15 years 11 months ago
Syntactic Fault Patterns in OO Programs
Although program faults are widely studied, there are many aspects of faults that we still do not understand, particularly about OO software. In addition to the simple fact that o...
Roger T. Alexander, Jeff Offutt, James M. Bieman
143
Voted
ICRA
2002
IEEE
86views Robotics» more  ICRA 2002»
15 years 11 months ago
Strategy for Navigation Inside Pipelines with Differential-Drive Inpipe Robot
In the previous reports, we presented a miniature inpipe robot called MRINSPECT (Multifunctional Robotic crawler for INpipe inSPECTion) IV which has been developed for the inspect...
Se-gon Roh, Hyoukryeol Choi
VLDB
2001
ACM
92views Database» more  VLDB 2001»
15 years 11 months ago
Fast Evaluation Techniques for Complex Similarity Queries
Complex similarity queries, i.e., multi-feature multi-object queries, are needed to express the information need of a user against a large multimedia repository. Even if a user in...
Klemens Böhm, Michael Mlivoncic, Hans-Jö...
170
Voted
SIGSOFT
2000
ACM
15 years 11 months ago
Compiler and tool support for debugging object protocols
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
Sergey Butkevich, Marco Renedo, Gerald Baumgartner...
ICCL
1998
IEEE
15 years 11 months ago
Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
M. Beckman, Samuel N. Kamin