15416 search results - page 261 / 3084 » Embeddings of Computable Structures |
241
click to vote
SOSP
2001
ACM
16 years 3 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...
162
click to vote
LOPSTR
2007
Springer
16 years 26 days 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...
185
click to vote
TLCA
2007
Springer
16 years 25 days 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...
204
click to vote
EMSOFT
2005
Springer
16 years 8 days 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...