12333 search results - page 573 / 2467 » System Level Modelling for Hardware Software Systems |
179
click to vote
GG
2004
Springer
16 years 14 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
161
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
This paper presents an approach for improving final software system usability by designing for usability, in particular by addressing usability issues in the software architecture...
150
click to vote
CASCON
2006
15 years 8 months ago
2006
E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the enviro...
185
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The opportunities for bacterial population genomics that are being realised by the application of parallel nucleotide sequencing require novel bioinformatics platforms...
360
click to vote
CC
2011
Springer
14 years 10 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...