Sciweavers

2340 search results - page 181 / 468
» Second quarter 2008
Sort
View
ENGL
2008
81views more  ENGL 2008»
15 years 6 months ago
GA-based Optimization of Sigma-delta Modulators for Wireless Transceivers
Abstract--Over-sampling sigma-delta analog-todigital converters (ADCs) are one of the key building blocks of state of the art wireless transceivers. In sigma-delta modulator design...
Babita R. Jose, P. Mythili, Jimson Mathew
ENGL
2008
142views more  ENGL 2008»
15 years 6 months ago
A Solid-State Neuron for Spiking Neural Network Implementation
This paper presents a compact analog neuron cell incorporating an array of charge-coupled synapses connected via a common output terminal. The novel silicon synapse is based on a t...
Yajie Chen, Steve Hall, Liam McDaid, Octavian Buiu...
ENTCS
2008
75views more  ENTCS 2008»
15 years 6 months ago
On the Refinement of Atomic Actions
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
Richard Banach, Gerhard Schellhorn
ENTCS
2008
106views more  ENTCS 2008»
15 years 6 months ago
Verifying Test-Hypotheses: An Experiment in Test and Proof
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...
EOR
2008
136views more  EOR 2008»
15 years 6 months ago
Game-theoretic analysis of cooperation among supply chain agents: Review and extensions
This paper surveys some applications of cooperative game theory to supply chain management. Special emphasis is placed on two important aspects of cooperative games: profit alloca...
Mahesh Nagarajan, Greys Sosic