Sciweavers

3093 search results - page 193 / 619
» The Multi-perspective Process Explorer
Sort
View
MTV
2006
IEEE
97views Hardware» more  MTV 2006»
15 years 10 months ago
Circuit Profiling Mechanisms for High-Level {ATPG}
—Our Mutation-based Validation Paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently generate test sequences, we nee...
Jorge Campos, Hussain Al-Asaad
UML
2005
Springer
15 years 10 months ago
Simplifying Transformations of OCL Constraints
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
Martin Giese, Daniel Larsson
ICSE
2003
IEEE-ACM
15 years 9 months ago
Requirements, Architectures and Risks
There is wide agreement that architecture plays a prominent role in large, complex software systems. Selection of an appropriate architecture – one that matches the system requi...
James D. Kiper, Martin S. Feather
ANSS
2002
IEEE
15 years 9 months ago
Scalability of Parallel Simulation Cloning
In previous work we presented an algorithm for cloning parallel simulations that enables multiple simulated execution paths to be explored simultaneously. The method is targeted f...
Maria Hybinette, Richard M. Fujimoto
AUIC
2002
IEEE
15 years 9 months ago
Computer-Aided Sketching to Capture Preliminary Design
This paper describes the vital role of freehand sketching in the design process. When designers first tackle a design problem they usually do so by sketching. We will explore the ...
Mark D. Apperley, Beryl Plimmer