1781 search results - page 138 / 357 » Visualizing program execution using user abstractions |
149
Voted
EUROPAR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...
133
click to vote
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
143
click to vote
AROBOTS
1999
15 years 4 months ago
1999
Abstract. In this paper, we present a system called the Active Vision Shell (AV-shell) which provides a programming framework for expressing and implementing autonomous robotic tas...
163
click to vote
CORR
2011
Springer
15 years 4 days ago
2011
Springer
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...
158
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...