406 search results - page 20 / 82 » On Actors and Objects - OOP in System Level Design |
SSD
2001
Springer
14 years 1 months ago
2001
Springer
The need to access spatial data at multiple levels of detail is a fundamental requirement of many applications of geographical information, yet conventional spatial database access...
CSMR
1999
IEEE
14 years 1 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Virtual Actors are at the heart of Interactive Storytelling systems and in recent years multiple approaches have been described to specify their autonomous behaviour. One well kno...
DSD
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper proposes a system-level cycle-based framework to model and design heterogeneous Multiprocessor Systems on-Chip (MPSoC), called GRAPES. The approach features flexibilit...
TACAS
2007
Springer
14 years 2 months 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...