Sciweavers

5275 search results - page 406 / 1055
» Computing by observing
Sort
View
VLSID
2008
IEEE
95views VLSI» more  VLSID 2008»
16 years 6 months ago
A New Threshold Voltage Model for Omega Gate Cylindrical Nanowire Transistor
In this work, for the first time, we present a physically based analytical threshold voltage model for omega gate silicon nanowire transistor. This model is developed for long cha...
Biswajit Ray, Santanu Mahapatra
147
Voted
BIOSYSTEMS
2007
111views more  BIOSYSTEMS 2007»
15 years 6 months ago
Event-driven simulation of neural population synchronization facilitated by electrical coupling
Most neural communication and processing tasks are driven by spikes. This has enabled the application of the event-driven simulation schemes. However the simulation of spiking neu...
Richard R. Carrillo, Eduardo Ros, Boris Barbour, C...
ACTA
2006
74views more  ACTA 2006»
15 years 6 months ago
Linearly bounded infinite graphs
Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural family of canonical infinite automata representing their...
Arnaud Carayol, Antoine Meyer
HPDC
2003
IEEE
15 years 11 months ago
Policies for Swapping MPI Processes
Despite the enormous amount of research and development work in the area of parallel computing, it is a common observation that simultaneous performance and ease-of-use are elusiv...
Otto Sievert, Henri Casanova
145
Voted
KR
1998
Springer
15 years 10 months ago
Specifying Transactions for Extended Abduction
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
Katsumi Inoue, Chiaki Sakama