3514 search results - page 629 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
PTS
2010
15 years 2 days ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
123
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
154
Voted
ICFEM
2003
Springer
15 years 6 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
134
click to vote
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
126
click to vote
VVG
2003
15 years 3 months ago
2003
We describe an innovative system designed for museums to create, manage and present multimedia based representations of museum artefacts in virtual exhibitions both inside and out...