Sciweavers

4344 search results - page 479 / 869
» The resourcefulness of everyday design
Sort
View
DEXA
2009
Springer
201views Database» more  DEXA 2009»
16 years 1 months ago
Dynamic Query Processing for P2P Data Services in the Cloud
With the trend of cloud computing, data and computing are moved away from desktop and are instead provided as a service from the cloud. Data-as-a-service enables access to a wealth...
Pawel Jurczyk, Li Xiong
IWANN
2009
Springer
16 years 1 months ago
TEMMAS: The Electricity Market Multi-Agent Simulator
—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...
Paulo Trigo, Paulo Marques, Helder Coelho
APLAS
2009
ACM
16 years 1 months ago
A Fresh Look at Separation Algebras and Share Accounting
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...
Robert Dockins, Aquinas Hobor, Andrew W. Appel
154
Voted
ASPDAC
2009
ACM
135views Hardware» more  ASPDAC 2009»
16 years 1 months ago
Analysis of communication delay bounds for network on chips
—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 ...
Yue Qian, Zhonghai Lu, Wenhua Dou
172
Voted
FDL
2008
IEEE
16 years 1 months ago
Towards Compilation of Streaming Programs into FPGA Hardware
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 ...
Franjo Plavec, Zvonko G. Vranesic, Stephen Dean Br...