3828 search results - page 238 / 766 » Proof-Based System Engineering Using a Virtual System Model |
191
click to vote
NIPS
2001
15 years 8 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...
194
Voted
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
160
click to vote
OOPSLA
2005
Springer
16 years 10 days ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
182
click to vote
IWPC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
193
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...