4401 search results - page 566 / 881 » Computing with Default Logic |
188
click to vote
PEPM
2004
ACM
16 years 2 days ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
181
click to vote
IPPS
2003
IEEE
16 years 10 hour ago
2003
IEEE
Oscilloscopes and their cousins, logic analyzers, are the tools of choice for difficult electronic hardware problems. In the hands of a skilled engineer or technician, these tool...
191
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Millions of small heterogeneous computers are poised to spread into the infrastructure of our society. Though mostly inconspicuous today, disguised as nothing more than PIM (perso...
184
click to vote
IBMSJ
1998
15 years 6 months ago
1998
Millions of small heterogeneous computers are poised to spread into the infrastructure of our society. Though mostly inconspicuous today, disguised as nothing more than PIM (perso...
197
click to vote
TPHOL
1997
IEEE
15 years 11 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...