4302 search results - page 468 / 861 » Ambiguity as a resource for design |
164
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
—This paper describes a multi-agent based simulation (MABS) framework to construct an artificial electric power market populated with learning agents. The artificial market, na...
158
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
153
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
—In network-on-chip, computing worst-case delay bound for packet delivery is crucial for designing predictable systems but yet an intractable problem due to complicated resource ...
172
click to vote
FDL
2008
IEEE
16 years 1 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
191
click to vote
ICECCS
2008
IEEE
16 years 1 months ago
2008
IEEE
A challenge for pervasive computing is the seamless integration of computer support with users’ activities in a very dynamic setting, with deep human and resource mobility. Port...