Sciweavers

3424 search results - page 259 / 685
» Building Diverse Computer Systems
Sort
View
DATE
2006
IEEE
100views Hardware» more  DATE 2006»
14 years 2 months ago
Heterogeneous behavioral hierarchy for system level designs
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Ber...
IPPS
2006
IEEE
14 years 2 months ago
Improving cooperation in peer-to-peer systems using social networks
Rational and selfish nodes in P2P systems usually lack effective incentives to cooperate, contributing to the increase of free-riders, and degrading the system performance. Variou...
Wenyu Wang, Li Zhao, Ruixi Yuan
HVC
2007
Springer
153views Hardware» more  HVC 2007»
14 years 5 days ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul
CW
2004
IEEE
14 years 1 days ago
Joyfoot's Cyber System: A Virtual Landscape Walking Interface Device for Virtual Reality Applications
Technological limitations on current interfaces have made researches to develop new devices to interact with objects in the virtual environment. The goal of this project is to dev...
Salvador Barrera, Hiroki Takahashi, Masayuki Nakaj...
GC
2004
Springer
14 years 1 months ago
Symbolic Equivalences for Open Systems
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...
Paolo Baldan, Andrea Bracciali, Roberto Bruni