368 search results - page 13 / 74 » A Layered Software Architecture for Quantum Computing Design... |
104
click to vote
ACMDIS
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
An emerging tapestry of computations will soon integrate systems around the globe. It will evolve without central control. Its complexity will be vast. We need new ideas, tools an...
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...
CAISE
2010
Springer
14 years 10 months ago
2010
Springer
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...