4480 search results - page 596 / 896 » Prototyping Completion with Constraints Using Computational ... |
230
click to vote
FP
1995
15 years 10 months ago
1995
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...
194
click to vote
CODES
2006
IEEE
16 years 20 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
166
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
183
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
In order to support increased consumer awareness regarding energy consumption, we have been developing new ways of representing and interacting with energy in electric products in...
174
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Many studies have been conducted on supporting communication in home and office spaces, but relatively few studies have explored supporting communication in large-scale public spa...