477 search results - page 86 / 96 » Design patterns in separation logic |
APVIS
2010
13 years 8 months ago
2010
In this paper, we propose an approach of clustering data in parallel coordinates through interactive local operations. Different from many other methods in which clustering is glo...
ISORC
2009
IEEE
14 years 4 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
HT
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
RV
2009
Springer
14 years 2 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
The Internet is organized as a collection of administrative domains, known as Autonomous Systems (ASes). These ASes interact through the Border Gateway Protocol (BGP) that allows ...