15416 search results - page 261 / 3084 » Embeddings of Computable Structures |
102
Voted
COMPUTER
1999
15 years 5 months ago
1999
223
Voted
SOSP
2001
ACM
16 years 2 months ago
2001
ACM
In recent years, there has been a rapid and wide spread of nontraditional computing platforms, especially mobile and portable computing devices. As applications become increasingl...
150
click to vote
LOPSTR
2007
Springer
15 years 11 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
160
click to vote
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
175
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Recent research in embedded computing indicates that packing multiple processor cores on the same die is an effective way of utilizing the ever-increasing number of transistors. T...