883 search results - page 157 / 177 » The Semantics of Verilog Using Transition System Combinators |
DCC
2002
IEEE
14 years 8 months ago
2002
IEEE
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...
CBMS
2002
IEEE
14 years 1 months ago
2002
IEEE
The need for systems that can stock, represent, and provide efficient retrieval facilities of images of particular interest is becoming very high in medicine. In this respect, a l...
ICSE
1998
IEEE-ACM
14 years 1 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
TRECVID
2007
13 years 10 months ago
2007
In this paper we describe our experiments for the high level features extraction task of TRECVid 2007. Our approach is different than previous submissions in that we have impleme...
ENTCS
2008
13 years 9 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...