2255 search results - page 148 / 451 » High Assurance Software Systems |
195
Voted
EUROMICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
174
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Agility is a facet of software development attracting increasing interest. The purpose of this paper is to investigate the value of agility in practice. Data collected from senior...
189
click to vote
VMCAI
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
191
Voted
FM
1999
Springer
15 years 11 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
193
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
—We address the recently recognized privatization problem in software transactional memory (STM) runtimes, and introduce the notion of partially visible reads (PVRs) to heuristic...