141 search results - page 17 / 29 » A dynamic evaluation of the precision of static heap abstrac... |
105
click to vote
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
AUTOMATICA
2007
14 years 12 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
100
click to vote
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— To keep pace with recent advances in microrobotic structures demands actuator technologies which can deliver high power and precise motion. For electroactive material b...
114
click to vote
JIKM
2008
14 years 11 months ago
2008
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
SAS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...