Sciweavers

7329 search results - page 43 / 1466
» Software Architectural Transformation
Sort
View
ICST
2010
IEEE
13 years 7 months ago
Verified Firewall Policy Transformations for Test Case Generation
Achim D. Brucker, Lukas Brügger, Paul Kearney...
EDOC
2008
IEEE
13 years 11 months ago
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
Mohamed Ariff Ameedeen, Behzad Bordbar
CODES
2006
IEEE
14 years 4 months ago
Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
Roshan G. Ragel, Sri Parameswaran
CGO
2008
IEEE
14 years 4 months ago
Parallel-stage decoupled software pipelining
In recent years, the microprocessor industry has embraced chip multiprocessors (CMPs), also known as multi-core architectures, as the dominant design paradigm. For existing and ne...
Easwaran Raman, Guilherme Ottoni, Arun Raman, Matt...