7118 search results - page 1311 / 1424 » Electrical and Computer Engineering |
163
click to vote
ICPP
2006
IEEE
16 years 12 days ago
2006
IEEE
These days an increasing number of applications, especially in science and engineering, are dealing with a massive amount of data; hence they are dataintensive. Bioinformatics, da...
186
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...
161
Voted
ISCAS
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract—We present a silicon neuron that uses shunting inhibition (conductance-based) with a synaptic rise-time to achieve synchrony. Synaptic rise-time promotes synchrony by de...
216
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
175
click to vote
ACMSE
2006
ACM
16 years 11 days ago
2006
ACM
Standardized middleware is used to build large distributed real-time and enterprise (DRE) systems. These middleware are highly flexible and support a large number of features sin...