7103 search results - page 470 / 1421 » Components and Generative Programming |
194
click to vote
ICLP
2005
Springer
16 years 12 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
185
click to vote
ISER
2004
Springer
16 years 7 days ago
2004
Springer
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
184
click to vote
LOPSTR
2004
Springer
16 years 7 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
198
click to vote
CHARME
2003
Springer
16 years 3 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
181
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents Vacuum Packing, a new approach to profile-based program optimization. Instead of using traditional aggregate or summarized execution profile weights, this ap...