Sciweavers

1215 search results - page 25 / 243
» Testing in the Distributed Test Architecture: An Extended Ab...
Sort
View
IJAIT
2006
100views more  IJAIT 2006»
13 years 8 months ago
Ade - an Architecture Development Environment for Virtual and Robotic Agents
In this paper we present the agent architecture development environment ADE, intended for the design, implementation, and testing of distributed agent architectures. After a short...
Virgil Andronache, Matthias Scheutz
ICCAD
1999
IEEE
86views Hardware» more  ICCAD 1999»
14 years 1 months ago
A framework for testing core-based systems-on-a-chip
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
Srivaths Ravi, Ganesh Lakshminarayana, Niraj K. Jh...
ESOP
2007
Springer
14 years 18 days ago
Scalar Outcomes Suffice for Finitary Probabilistic Testing
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, C...
DAC
2002
ACM
14 years 9 months ago
False-path-aware statistical timing analysis and efficient path selection for delay testing and timing validation
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...
Jing-Jia Liou, Angela Krstic, Li-C. Wang, Kwang-Ti...
DAWAK
2005
Springer
14 years 2 months ago
Extending UML 2 Activity Diagrams with Business Intelligence Objects
Abstract. Data Warehouse (DWH) information is accessed by business processes. Today, no conceptual models exist that make the relationship between the DWH and the business processe...
Veronika Stefanov, Beate List, Birgit Korherr