8083 search results - page 406 / 1617 » A Formalization of Software Architecture |
143
click to vote
AVI
2000
15 years 8 months ago
2000
In previous work, the first author argued for simple lightweight visualisations. These are surprisingly complex to produce due to the need for infrastructure to read files, etc. o...
136
click to vote
ANSOFT
2002
15 years 6 months ago
2002
Hypertext functionalities represent a form of the distilled wisdom of the hypermedia community. Given the peculiar nature of the World Wide Web, it is very difficult to successful...
159
click to vote
TACAS
2007
Springer
16 years 28 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...
212
click to vote
RTCSA
2006
IEEE
16 years 25 days ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
175
click to vote
WORDS
2003
IEEE
16 years 2 days ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...