Sciweavers

3812 search results - page 158 / 763
» Combinations of TRAP Based Systems
Sort
View
RTAS
2008
IEEE
16 years 24 days ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
DELOS
2007
15 years 7 months ago
DelosDLMS - The Integrated DELOS Digital Library Management System
Abstract. DelosDLMS is a prototype of a next-generation Digital Library (DL) management system. It is realized by combining various specialized DL functionalities provided by partn...
Maristella Agosti, Stefano Berretti, Gert Brettlec...
ESWS
2011
Springer
14 years 10 months ago
miKrow: Semantic Intra-enterprise Micro-Knowledge Management System
Abstract. Knowledge Management systems are one of the key strategies that allow companies to fully tap into their collective knowledge. However, two main entry barriers currently l...
Víctor Penela, Guillermo Álvaro, Car...
ICASSP
2008
IEEE
16 years 26 days ago
Blind channel shortening in OFDM system using nulltones and cyclic prefix
This paper considers the problem of blind channel shortening in OFDM systems. Standard OFDM systems use guard interval (GI) in form of cyclic prefix (CP) and nulltones (NT) redun...
Taoufik Ben Jabeur, Karim Abed-Meraim, Hatem Bouje...
MASCOTS
1997
15 years 7 months ago
A Hybrid Simulation Approach Enabling Performance Characterization of Large Software Systems
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...
Bengt Werner, Peter S. Magnusson