14515 search results - page 434 / 2903 » Efficient Embedded Computing |
167
click to vote
GC
2006
Springer
15 years 6 months ago
2006
Springer
A map is a connected topological graph cellularly embedded in a surface. For a given graph , its genus distribution of rooted maps and embeddings on orientable and non-orientable s...
169
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
193
click to vote
IPPS
2006
IEEE
16 years 27 days ago
2006
IEEE
Efficient multisite job scheduling facilitates the cooperation of multi-domain massively parallel processor systems in a computing grid environment. However, co-allocation, hetero...
206
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
For an efficient role based access control using attribute certificate in highly distributed computing environments, we use a technique of structuring role specification certificat...
241
click to vote
DFT
2009
IEEE
15 years 10 months ago
2009
IEEE
Optimizing the BIST configuration based on the characteristics of the design under test is a complicated and challenging work for test engineers. Since this problem has multiple o...