Sciweavers

3729 search results - page 267 / 746
» METRICS: a system architecture for design process optimizati...
Sort
View
SP
1997
IEEE
106views Security Privacy» more  SP 1997»
15 years 11 months ago
Secure Software Architectures
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschne...
IEEEPACT
2003
IEEE
15 years 12 months ago
Compilation, Architectural Support, and Evaluation of SIMD Graphics Pipeline Programs on a General-Purpose CPU
Graphics and media processing is quickly emerging to become one of the key computing workloads. Programmable graphics processors give designers extra flexibility by running a sma...
Mauricio Breternitz Jr., Herbert H. J. Hum, Sanjee...
UML
2005
Springer
16 years 5 days ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
TREC
2001
15 years 8 months ago
Multilingual Question/Answering: the DIOGENE System
This paper presents the DIOGENE question/answering system developed at ITCIrst. The system is based on a rather standard architecture which includes three components for question ...
Bernardo Magnini, Matteo Negri, Roberto Prevete, H...
202
Voted
RECOSOC
2007
160views Hardware» more  RECOSOC 2007»
15 years 8 months ago
Stack processor architecture and development methods suitable for dependable applications
Nowadays, reconfigurable and multiprocessor systems are becoming increasingly attractive for many applications. Such systems should be more and more dependable especially if error...
Mehdi Jallouli, Camille Diou, Fabrice Monteiro