Sciweavers

699 search results - page 79 / 140
» The KGP Model of Agency for Global Computing: Computational ...
Sort
View
CORR
2010
Springer
198views Education» more  CORR 2010»
13 years 9 months ago
Space and the Synchronic A-Ram
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
Alexander Victor Berka
TCAD
2008
90views more  TCAD 2008»
13 years 8 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
NETGAMES
2004
ACM
14 years 2 months ago
Zoned federation of game servers: a peer-to-peer approach to scalable multi-player online games
Today’s Multi-player Online Games (MOGs) are challenged by infrastructure requirements, because of their server-centric nature. Peer-to-peer networks are an interesting alternat...
Takuji Iimura, Hiroaki Hazeyama, Youki Kadobayashi
ISCAS
2007
IEEE
84views Hardware» more  ISCAS 2007»
14 years 3 months ago
Piezo-powered floating gate injector for self-powered fatigue monitoring in biomechanical implants
— In this paper we describe an implementation and modeling of a novel fatigue monitoring sensor based on integration of piezoelectric transduction with floating gate avalanche in...
Nizar Lajnef, Shantanu Chakrabartty, Niell Elvin, ...
ASAP
1997
IEEE
92views Hardware» more  ASAP 1997»
14 years 13 days ago
Optimized software synthesis for synchronous dataflow
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward...