Sciweavers

573 search results - page 28 / 115
» Experience with a Course on Architectures for Software Syste...
Sort
View
131
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
Architectural Framework Modeling in Telecommunication Domain
Architectural frameworks have shown to increase the design reusability in large-scale object-oriented systems. Drawing on experience in complex software systems development in tel...
Giulio Fregonese, Alessandro Zorer, Giovanni Corte...
125
Voted
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
15 years 10 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
ISQED
2006
IEEE
90views Hardware» more  ISQED 2006»
15 years 9 months ago
Transaction Level Error Susceptibility Model for Bus Based SoC Architectures
System on Chip architectures have traditionally relied upon bus based interconnect for their communication needs. However, increasing bus frequencies and the load on the bus calls...
Ing-Chao Lin, Suresh Srinivasan, Narayanan Vijaykr...
139
Voted
ARC
2011
Springer
220views Hardware» more  ARC 2011»
14 years 10 months ago
From Plasma to BeeFarm: Design Experience of an FPGA-Based Multicore Prototype
Abstract. In this paper, we take a MIPS-based open-source uniprocessor soft core, Plasma, and extend it to obtain the Beefarm infrastructure for FPGA-based multiprocessor emulation...
Nehir Sönmez, Oriol Arcas, Gokhan Sayilar, Os...
120
Voted
INFSOF
2007
83views more  INFSOF 2007»
15 years 3 months ago
On the design of more secure software-intensive systems by use of attack patterns
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
Michael Gegick, Laurie Williams