Sciweavers

5972 search results - page 439 / 1195
» Extending Design Environments to Software Architecture Desig...
Sort
View
BIRTHDAY
2010
Springer
15 years 8 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ICECCS
1999
IEEE
88views Hardware» more  ICECCS 1999»
15 years 11 months ago
UML + ROOM as a Standard ADL?
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
Bernhard Rumpe, M. Schoenmakers, Ansgar Radermache...
EMSOFT
2004
Springer
16 years 6 days ago
An approach for integrating basic retiming and software pipelining
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
Noureddine Chabini, Wayne Wolf
ATAL
2008
Springer
15 years 8 months ago
Automated unit testing intelligent agents in PDT
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...
Zhiyong Zhang, John Thangarajah, Lin Padgham
CHES
2009
Springer
265views Cryptology» more  CHES 2009»
16 years 7 months ago
Higher-Order Masking and Shuffling for Software Implementations of Block Ciphers
Differential Power Analysis (DPA) is a powerful side channel key recovery attack that efficiently breaks block ciphers implementations. In software, two main techniques are usually...
Matthieu Rivain, Emmanuel Prouff, Julien Doget