6079 search results - page 909 / 1216 » Aspect-Oriented Process Engineering |
183
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
172
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
149
click to vote
ISQED
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Silicon debug poses a unique challenge to the engineer because of the limited access to internal signals of the chip. Embedded hardware such as trace buffers helps overc...
183
click to vote
3DIM
2003
IEEE
15 years 12 months ago
2003
IEEE
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...
180
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....