5630 search results - page 76 / 1126 » Computability in Specification |
103
click to vote
SERP
2004
15 years 4 months ago
2004
The Virtual UNR Campus (VCam) presented in this paper is an interactive environment where users explore a 3D representation of the University of Nevada, Reno (UNR) campus. In esse...
143
Voted
IAJIT
2010
15 years 1 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
96
Voted
CHI
2002
ACM
16 years 2 months ago
2002
ACM
Despite many sensor, hardware, networking, and software advances, it is still quite difficult to build effective and reliable context-aware applications. We propose to build a con...
114
click to vote
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
Performance of an application can be improved through augmenting the processor with Application specific Functional Units (AFUs). Usually a cluster of operations identified from th...
121
Voted
VLSID
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...