Sciweavers

13109 search results - page 141 / 2622
» The design and implementation of AspectC
Sort
View
ICCD
1995
IEEE
51views Hardware» more  ICCD 1995»
15 years 10 months ago
Implementing a STARI chip
STARI is a high-speed signaling technique that uses both synchronous and self-timed circuits. To demonstrate STARI, a chip has been fabricated using the MOSIS 2 CMOS process. In a...
Mark R. Greenstreet
ISICT
2003
15 years 7 months ago
On the automated implementation of modal logics used to verify security protocols
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
Tom Coffey, Reiner Dojen, Tomas Flanagan
IJES
2008
128views more  IJES 2008»
15 years 6 months ago
On-chip implementation of multiprocessor networks and switch fabrics
: On-chipimplementationofmultiprocessorsystemsneedstoplanarisetheinterconnect networks onto the silicon floorplan. Compared with traditional ASIC/SoC architectures, Multiprocessor ...
Terry Tao Ye, Giovanni De Micheli
FPL
2003
Springer
144views Hardware» more  FPL 2003»
15 years 11 months ago
FPGA Implementations of Neural Networks - A Survey of a Decade of Progress
The first successful FPGA implementation [1] of artificial neural networks (ANNs) was published a little over a decade ago. It is timely to review the progress that has been made i...
Jihan Zhu, Peter Sutton
EMSOFT
2005
Springer
15 years 12 months ago
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks
Rialto is a design framework that allows separating the description of a control application for wireless sensor networks from its physical network implementation. The methodology...
Alvise Bonivento, Luca P. Carloni, Alberto L. Sang...