Sciweavers

7380 search results - page 522 / 1476
» Engineering Software Intensive Systems
Sort
View
EUROMICRO
1999
IEEE
15 years 10 months ago
The X-MatchLITE FPGA-Based Data Compressor
This paper introduces a hardware amenable algorithm for lossless data compression and a highly integrable architecture which enables Gbit/s compression using contemporary ASIC tec...
Jose Luis Nunez, Claudia Feregrino, Simon Jones, S...
CCE
2010
15 years 3 months ago
Scope for the application of mathematical programming techniques in the synthesis and planning of sustainable processes
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...
Ignacio E. Grossmann, Gonzalo Guillén-Gos&a...
SIGSOFT
2004
ACM
16 years 6 months ago
Implementing protocols via declarative event patterns
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
Robert J. Walker, Kevin Viggers
ICSE
2011
IEEE-ACM
14 years 9 months ago
A lightweight code analysis and its role in evaluation of a dependability case
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang,...
EWSA
2004
Springer
15 years 11 months ago
Experiences Using Viewpoints for Information Systems Architecture: An Industrial Experience Report
There has recently been an increase in interest, among information systems architecture practitioners, in using viewpoints for architectural definition and description. This has be...
Eoin Woods