Sciweavers

5355 search results - page 262 / 1071
» Modules
Sort
View
VLSID
2002
IEEE
97views VLSI» more  VLSID 2002»
15 years 8 months ago
Power Supply Noise Aware Floorplanning and Decoupling Capacitance Placement
Power supply noise is a strong function of the switching activities of the circuit modules. Peak power supply noise can be significantly reduced by judiciously arranging the modu...
Shiyou Zhao, Kaushik Roy, Cheng-Kok Koh
ECAL
2001
Springer
15 years 7 months ago
The Shifting Network: Volume Signalling in Real and Robot Nervous Systems
This paper presents recent work in computational modelling of diffusing gaseous neuromodulators in biological nervous systems. It goes on to describe work in adaptive autonomous sy...
Phil Husbands, Andrew Philippides, Tom Smith, Mich...
IVA
2001
Springer
15 years 7 months ago
Papous: The Virtual Storyteller
This paper describes the development of Papous, a Virtual Storyteller. Our ultimate goal is to obtain a synthetic character that tells stories in an expressive and believable way, ...
André Silva, Marco Vala, Ana Paiva
IDEAS
2000
IEEE
108views Database» more  IDEAS 2000»
15 years 7 months ago
Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
Stefan Dieker, Ralf Hartmut Güting
CAV
2000
Springer
97views Hardware» more  CAV 2000»
15 years 7 months ago
Detecting Errors Before Reaching Them
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...