7820 search results - page 222 / 1564 » Formalization of Time and Space |
202
click to vote
CASES
2008
ACM
15 years 9 months ago
2008
ACM
Embedded processor performance is dependent on both the underlying architecture and the compiler optimisations applied. However, designing both simultaneously is extremely difficu...
139
click to vote
MASCOTS
2001
15 years 8 months ago
2001
File systems that allocate data contiguously often use bitmaps to representand managefree space. Increases in the size of storage to be managed creates a needfor eficient algorith...
192
click to vote
PRL
2010
15 years 1 months ago
2010
It is desirable to find unusual data objects by Ramaswamy et al's distance-based outlier definition because only a metric distance function between two objects is required. It...
214
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a fast localisation algorithm for autonomous mobile agents in dynamic environments based on the definition of a new very small sized landmark type. These landm...
196
click to vote
DATE
2005
IEEE
16 years 24 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...