4814 search results - page 590 / 963 » Combining abstract interpreters |
211
click to vote
DATE
2010
IEEE
16 years 24 days ago
2010
IEEE
Abstract—Employing COTS components in real-time embedded systems leads to timing challenges. When multiple CPU cores and DMA peripherals run simultaneously, contention for access...
195
click to vote
SG
2010
Springer
16 years 23 days ago
2010
Springer
Abstract. We present a prototype sketch-based physics tutoring system that combines mathematical sketching, an interaction paradigm that supports construction of dynamic illustrati...
172
click to vote
ICDCSW
2002
IEEE
16 years 20 days ago
2002
IEEE
This paper addresses the fundamental tradeoffs in event systems between scalability (of event filtering, routing, and delivery mechanisms), expressiveness (when describing intere...
199
click to vote
ICSM
2002
IEEE
16 years 19 days ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
206
click to vote
INFOCOM
2002
IEEE
16 years 19 days ago
2002
IEEE
Abstract-In this paper, a new preemption policy is proposed and complemented with an adaptive scheme that aims to minimize rerouting. The preemption policy combines the three main ...