3856 search results - page 678 / 772 » Models for Automated Earthmoving |
121
click to vote
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
142
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we describe a compilation system that automates much of the process of performance tuning that is currently done manually by application programmers interested in h...
120
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...
141
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
141
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...