3458 search results - page 198 / 692 » Abstracting Control |
116
click to vote
AGP
1997
IEEE
15 years 7 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
138
click to vote
WOA
2001
15 years 4 months ago
2001
Acting in a dynamic environment is a complex task that requires several issues to be investigated, with the aim of controlling the associated search complexity. In this paper, a l...
135
Voted
EUROSYS
2011
ACM
14 years 6 months ago
2011
ACM
We argue that controlling energy allocation is an increasingly useful and important feature for operating systems, especially on mobile devices. We present two new low-level ions ...
138
click to vote
MMMACNS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Amongst the challenges of ubiquitous computing is the need to provide management support for personal wireless devices and sensors. In this extended abstract we introduce...
136
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— With the rapid progress of the robotic technology, it is becoming increasingly common to have multiple robots working together for material transport, cooperative assem...