12194 search results - page 395 / 2439 » cans 2010 |
139
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
172
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...
146
click to vote
GMP
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract. The ability to model objects composed of multiple materials has become increasingly more demanded in scientific applications. The visualization of a discrete multi-mater...
172
click to vote
COMPGEOM
2010
ACM
15 years 12 months ago
2010
ACM
We prove that the union complexity of a set of n constantcomplexity locally fat objects (which can be curved and/or non-convex) in the plane is O(λt+2(n) log n), where t is the m...
172
click to vote
EUROSYS
2010
ACM
15 years 12 months ago
2010
ACM
In this paper, we present a mechanism that allows applications to survive operating system kernel crashes and continue functioning with no application data loss after a system reb...