3706 search results - page 278 / 742 » KtSeqC: System Description |
149
click to vote
ICESS
2007
Springer
16 years 27 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
192
click to vote
VISUAL
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. An approach for visual information analysis and classification is presented. It is based on a knowledge synthesizing technique to automatically create a relevance map fro...
184
click to vote
ASAP
2006
IEEE
16 years 24 days ago
2006
IEEE
In the simulation of quantum circuits the matrices and vectors used to represent unitary operations and qubit states grow exponentially as the number of qubits increase. For insta...
187
click to vote
DATE
2006
IEEE
16 years 24 days ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
188
click to vote
DDECS
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...