302 search results - page 51 / 61 » An approach to synthesise safe systems |
164
click to vote
CARDIS
2006
Springer
15 years 9 months ago
2006
Springer
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
177
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Many systems such as Tukwila and YFilter combine automaton and algebra techniques to process queries over tokenized XML streams. Typically in this architecture, an automaton is fi...
134
click to vote
HAPTICS
2009
IEEE
16 years 25 days ago
2009
IEEE
Virtual environments (VEs) with haptic feedback not only provide a safe and versatile practice medium for many manual control tasks, but also promise to improve the efficacy of m...
181
click to vote
RTSS
2009
IEEE
16 years 24 days ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...
163
click to vote
HICSS
2008
IEEE
16 years 16 days ago
2008
IEEE
Personalization is a phenomenon that intrigues and confuses. Personalized offerings promise customer attention, loyalty and safe haven against commoditization. However, these prom...