Sciweavers

6581 search results - page 246 / 1317
» Formalizing Design Patterns
Sort
View
ISORC
2007
IEEE
15 years 10 months ago
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
Alexei Iliasov, Alexander Romanovsky, Budi Arief, ...
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
15 years 10 months ago
Compositional Variability - Concepts and Patterns
Most software-intensive systems rely on a componentbased design and are therefore made up of encapsulated structural units which are hierarchically composed of one another. In thi...
Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Matth...
156
Voted
IJCNN
2007
IEEE
15 years 10 months ago
Spiking and Bursting Firing Patterns of a Compact VLSI Cortical Neuron Circuit
—The paper presents a silicon neuron circuit that mimics the behaviour of known classes of biological neurons. The circuit has been designed in a 0.35µm CMOS technology. The fir...
Jayawan H. B. Wijekoon, Piotr Dudek
151
Voted
ISSS
2002
IEEE
148views Hardware» more  ISSS 2002»
15 years 8 months ago
A Case Study of Hardware and Software Synthesis in ForSyDe
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
Ingo Sander, Axel Jantsch, Zhonghai Lu
172
Voted
ISPD
2006
ACM
103views Hardware» more  ISPD 2006»
15 years 10 months ago
High accurate pattern based precondition method for extremely large power/ground grid analysis
In this paper, we propose more accurate power/ground network circuit model, which consider both via and ground bounce effects to improve the performance estimation accuracy of on-...
Jin Shi, Yici Cai, Sheldon X.-D. Tan, Xianlong Hon...