Sciweavers

644 search results - page 12 / 129
» An Exploration of Random Processes for Engineers
Sort
View
DAC
2005
ACM
13 years 9 months ago
Modular domain-specific implementation and exploration framework for embedded software platforms
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...
Christian Sauer, Matthias Gries, Sören Sonnta...
MS
2003
13 years 9 months ago
Potential for Symbolic-assisted Process Simulation
This paper explores the potential of acausal modelling tools for a simple, but challenging process engineering benchmark problem. Matlab/Simulink illustrates a traditional block d...
Christian Haag, David I. Wilson
AOSD
2003
ACM
14 years 1 months ago
Navigating and querying code without getting lost
A development task related to a crosscutting concern is challenging because a developer can easily get lost when exploring scattered elements of code and the complex tangle of rel...
Doug Janzen, Kris De Volder
FDL
2008
IEEE
14 years 2 months ago
Contradiction Analysis for Constraint-based Random Simulation
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
Daniel Große, Robert Wille, Robert Siegmund,...
WCRE
2007
IEEE
14 years 2 months ago
Parametric Process Model Inference
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
Saurabh Sinha, G. Ramalingam, Raghavan Komondoor