537 search results - page 28 / 108 » Connectivity Models for Optoelectronic Computing Systems |
ISORC
1999
IEEE
14 years 1 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
NIPS
2001
13 years 10 months ago
2001
We describe a programmable multi-chip VLSI neuronal system that can be used for exploring spike-based information processing models. The system consists of a silicon retina, a PIC...
AISADM
2005
Springer
14 years 2 months ago
2005
Springer
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...
JMM2
2006
13 years 8 months ago
2006
Recent electronic devices are connected with each other by various connectivity techniques. This trend makes computing resources distributed over many devices. However, since the g...
CC
2001
Springer
14 years 1 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...