4480 search results - page 85 / 896 » Prototyping Completion with Constraints Using Computational ... |
121
Voted
ERSA
2007
15 years 5 months ago
2007
This paper describes a proof-of-concept implementation of a basic autonomous computing system. The system consists of an XUP Virtex-II Pro board running Linux and a set of softwar...
144
Voted
JACM
2010
15 years 2 months ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
148
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
The peer-to-peer approach to design large-scale systems has significant benefits including scalability, low cost of ownership, robustness, and ability to provide site autonomy. ...
86
Voted
ICCAD
2005
IEEE
16 years 14 days ago
2005
IEEE
— Nanoscale technologies provide both challenges and opportunities. We show that the issues and potential solutions facing designers are technology independent and arise mainly f...
142
Voted
ISWC
1997
IEEE
15 years 7 months ago
1997
IEEE
Situated computing concerns the ability of computing devices to detect, interpret and respond to aspects of the user’s local environment. In this paper, we use our recent protot...