3310 search results - page 207 / 662 » Aspect-aware operating system development |
127
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
141
Voted
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—This paper presents a SoC platform based design for the implementation of AAC audio decoder. We present the approach not only for the characteristics of the algorithm, but also ...
126
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
— A new type of master-slave control methodology, which has the merits of both unilateral and bilateral ones, is proposed. The methodology is built on switching the unilateral fe...
123
click to vote
SRDS
1997
IEEE
15 years 8 months ago
1997
IEEE
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
141
click to vote
WSC
2000
15 years 5 months ago
2000
Discrete event simulation can be used for virtual prototyping of new manufacturing facilities. Models built for this purpose must be easy to use, flexible, and provide a realistic...