12333 search results - page 216 / 2467 » System Level Modelling for Hardware Software Systems |
165
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper examines business, design, and product development aspects of software business models. Contexts of small and large companies for creating software innovations are also...
203
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
186
click to vote
AHS
2006
IEEE
16 years 17 days ago
2006
IEEE
To increase the flexibility of single-chip evolvable hardware systems, we explore possibilities of systems with the evolutionary algorithm implemented in software on an onchip pr...
148
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
213
Voted
CSREAEEE
2010
15 years 4 months ago
2010
E-learning materials development is typically acknowledged as an expensive, complicated, and lengthy process, often producing materials that are of low quality and difficult to ad...