21108 search results - page 3875 / 4222 » A General Class of Models of |
210
click to vote
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
200
click to vote
LCTRTS
2004
Springer
16 years 4 days ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
223
click to vote
MIDDLEWARE
2004
Springer
16 years 4 days ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
192
click to vote
CVPR
2003
IEEE
16 years 2 days ago
2003
IEEE
A framework for analyzing distortions in non-single viewpoint imaging systems is presented. Such systems possess loci of viewpoints called caustics. In general, perspective (or un...
166
click to vote
ECRTS
2003
IEEE
16 years 2 days ago
2003
IEEE
We revisit the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a ...