Sciweavers

1781 search results - page 128 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
119
Voted
ENTCS
2006
176views more  ENTCS 2006»
15 years 22 days ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
108
Voted
COMPSAC
2005
IEEE
15 years 6 months ago
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
Jinchun Xia, Yujia Ge, Carl K. Chang
ET
2008
92views more  ET 2008»
15 years 7 days ago
Hardware and Software Transparency in the Protection of Programs Against SEUs and SETs
Processor cores embedded in systems-on-a-chip (SoCs) are often deployed in critical computations, and when affected by faults they may produce dramatic effects. When hardware harde...
Eduardo Luis Rhod, Carlos Arthur Lang Lisbôa...
ICFEM
1997
Springer
15 years 4 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
100
Voted
QOSA
2009
Springer
15 years 7 months ago
Toward a Catalogue of Architectural Bad Smells
Abstract. An architectural bad smell is a commonly (although not always intentionally) used set of architectural design decisions that negatively impacts system lifecycle propertie...
Joshua Garcia, Daniel Popescu, George Edwards, Nen...